‹Programming› 2026The fifth and final workshop of #prog24 is VIMPL. Submit until January 22, 2024.
This workshop provides a forum for researchers and practitioners to discuss the (re)emergence of value independence as a theme in the user model of programming languages, its use in software applications, its use in compilers and interpreters for optimization, and the challenges related to its interaction with other modern programming language features.
VIMPL 2024 - ‹Programming› 2024
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 independence upholds the ability to reason locally about semantics, from the variables mentioned alone. This ability is crucial both for human understanding of software developed a ...