Polymorphic Delimited Continuations
No abstract available.
Related papers
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform ICFP 2009
- Handling delimited continuations with dependent types ICFP 2018
- A monadic framework for delimited continuations JFP 2007
- A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations TOPLAS 2015
- A sound and complete axiomatization of delimited continuations ICFP 2003
- An approach to call-by-name delimited continuations POPL 2008
- Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations POPL 2023
- Compositional semantics for composable continuations: from abortive to delimited control ICFP 2014