Expressive Power of One-Shot Control Operators and Coroutines
Abstract elided by the publisher.
Related papers
- Revisiting coroutines TOPLAS 2009
- Representing Control in the Presence of One-Shot Continuations PLDI 1996
- Asymptotic speedup via effect handlers JFP 2024
- Backtracking in a Generalized Control Setting TOPLAS 1979
- Affect: An Affine Type and Effect System POPL 2025
- Theory and Practice of Coroutines with Snapshots ECOOP 2018
- Modular verification of assembly code with stack-based control abstractions PLDI 2006
- Referencing and Retention in Block-Structured Coroutines TOPLAS 1981