Constraining Delimited Control with Contracts
Abstract elided by the publisher.
Related papers
- A Systematic Approach to Delimited Control with Multiple Prompts ESOP 2012
- Shifting the Blame - A Blame Calculus with Delimited Control APLAS 2015
- Theoretical Pearl: A simple proof of a folklore theorem about delimited control JFP 2006
- Lazy evaluation and delimited control POPL 2009
- Environmental Bisimulations for Delimited-Control Operators APLAS 2013
- Adding delimited and composable control to a production programming environment ICFP 2007
- Delimited control and computational effects JFP 2014
- Compositional semantics for composable continuations: from abortive to delimited control ICFP 2014