This meeting was dedicated to the untimely passing of William Cook, one of the founding members of WG 2.16.
Revisiting “Inheritance is not subtyping”, the impact of William Cook on the semantics of typed object-oriented languages. Talk by Kim Bruce
Newspeak in 2022. A review/demo of the current, web-based Newspeak system and where it is going. Gilad Bracha.
Capture Checking: A key part for typing resources, capabilities and effects. Martin Odersky
Using language to reason about deletion from red-black trees. Sean McDirmid
Tamaro: A visual multilingual approach to learning problem decomposition. Matthias Hauswirth
The vision of Ensō: William Cook’s “last project”, Tijs van der Storm.
Programming as architecture, urban planning and design? Tomas Petricek
Version control for structure editing. And schema change too. Jonathan Edwards
Beyond collapsing towers: staging a relational interpreter. Nada Amin (or Reconciling Family Polymorphism with Pattern Matching via Extensible Cases. Nada Amin)
Shrubbery notation: aspiring trees as a syntax substrate. Matthew Flatt
“On Understanding Data Abstraction, Revisited,” Revisited: William Cook’s impact on our understanding of objects. Jonathan Aldrich
Combining Interactive and Whole-Program Editing with Repartee (a response to beginner REPL stumbles). Joe Politz
William as a mentor, advisor, and collaborator. Ben Wiedermann