2 papers
cs.PL2026
Expressive power of one-shot control operators and coroutines
Kentaro Kobayashi, Yukiyoshi Kameyama
Control operators, such as exceptions and effect handlers, provide a means of representing computational effects in programs abstractly and modularly. While most theoretical studie…
cs.PL2025
Expressive Power of One-Shot Control Operators and Coroutines
Kentaro Kobayashi, Yukiyoshi Kameyama
Control operators, such as exceptions and effect handlers, provide a means of representing computational effects in programs abstractly and modularly. While most theoretical studie…