From principles to programming languages (and back)
Abstract
No abstract available.
Related papers
- From POPL to the classroom and back POPL 2002
- Modalities for Model Checking: Branching Time Strikes Back POPL 1985
- Adventures in monitorability: from branching to linear time and back again POPL 2019
- Purity of an ST monad: full abstraction by semantically typed back-translation OOPSLA 2022
- Growing solver-aided languages with rosette Onward! 2013
- Automatic Layout of Railroad Diagrams ECOOP 2026
- Intrinsically Typed Sessions with Callbacks (Functional Pearl) ICFP 2023
- Selfie and the basics Onward! 2017