A Systematic Approach to Delimited Control with Multiple Prompts
Abstract elided by the publisher.
Related papers
- Delimited control and computational effects JFP 2014
- Theoretical Pearl: A simple proof of a folklore theorem about delimited control JFP 2006
- A type-theoretic foundation of continuations and prompts ICFP 2004
- A typed continuation-passing translation for lexical effect handlers PLDI 2022
- Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C ICFP 2021
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- Constraining Delimited Control with Contracts ESOP 2013
- Shifting the Blame - A Blame Calculus with Delimited Control APLAS 2015