Towards Deriving Type Systems and Implementations for Coroutines
Abstract elided by the publisher.
Related papers
- Certifying derivation of state machines from coroutines POPL 2022
- Faster coroutine pipelines ICFP 2017
- Faster coroutine pipelines: A reconstruction JFP 2020
- Theory and Practice of Coroutines with Snapshots ECOOP 2018
- An Efficient Implementation for Coroutines ISMM 1992
- Hyperfunctions: Communicating Continuations POPL 2026
- Revisiting coroutines TOPLAS 2009
- Sound probabilistic inference via guide types PLDI 2021