Generating Efficient Code from Continuation Semantics
Abstract elided by the publisher.
Related papers
- Correct Flow Analysis in Continuation Semantics POPL 1988
- Polymorphism by Name for References and Continuations POPL 1993
- Shifting the stage - Staging with delimited control JFP 2011
- Deriving Target Code as a Representation of Continuation Semantics TOPLAS 1982
- Refining semantics for multi-stage programming GPCE 2017
- Verified code generation for the polyhedral model POPL 2021
- Wasm/k: delimited continuations for WebAssembly DLS 2020
- Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP 2026