Sharing Continuations: Proofnets for Languages with Explicit Control
No abstract available.
Related papers
- A monadic framework for delimited continuations JFP 2007
- Recycling Continuations ICFP 1998
- Subtyping delimited continuations ICFP 2011
- Compositional semantics for composable continuations: from abortive to delimited control ICFP 2014
- Compiling with continuations, or without? whatever ICFP 2019
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style ESOP 2022
- Explicit Polymorphism and CPS Conversion POPL 1993
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019