VIMPL
Mon 16 - Fri 20 March 2026 Munich, GermanyVIMPL 2026 with ‹Programming› 2026The 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 i ... |
Tue 3 Jun 2025 Prague, CzechiaVIMPL 2025 with ‹Programming› 2025The 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 i ... |
Mon 11 - Thu 14 March 2024 Lund, SwedenVIMPL 2024 with ‹Programming› 2024The 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 i ... |
Mon 13 Mar 2023 Tokyo, JapanVIMPL 2023 with ‹Programming› 2023The 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 ... |
