A Dynamic Interpretation of the CPS Hierarchy
No abstract available.
Related papers
- An Operational Investigation of the CPS Hierarchy ESOP 1999
- The Concurrent Logic Programming Language CP: Definition and Operational Semantics POPL 1987
- Semantic Hierarchy Refactoring by Abstract Interpretation VMCAI 2006
- Type-Safe Compilation of Dynamic Inheritance via Merging TOPLAS 2025
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- The Essence of Compiling with Continuations PLDI 1993
- Type System for Four Delimited Control Operators GPCE 2022
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009