One-shot algebraic effects as coroutines

DOI10.1007/978-3-030-57761-2_8zbMath1475.68063OpenAlexW3060801892MaRDI QIDQ2037431

Satoru Kawahara, Yukiyoshi Kameyama

Publication date: 1 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57761-2_8

zbMATH Keywords

continuationcontrol operatoralgebraic effect and handlercoroutinemacro-expressibility

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

This page was built for publication: One-shot algebraic effects as coroutines