VIMPL 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
co-located with ‹Programming› 2023
All Editions
Mon 13 - Fri 17 March 2023 Tokyo, Japan

VIMPL 2023 with ‹Programming› 2023

The tension between unconstrained mutation and algebraic semantic reasoning has been well known at least since Backus’ 1977 Turing Award paper introducing FP. After decades of bifurcation into communities that either ignored the problem, or addressed it by insisting on strict immutability, the PL field has recently begun to explore more nuanced approaches that emphasize the independence of mutable values. Value ...