Type directed compilation of row-typed algebraic effects
Abstract
Algebraic effect handlers, introduced by Plotkin and Power in 2002,
Related papers
- Rows and Capabilities as Modal Effects POPL 2026
- Type-indexed rows POPL 2001
- Efficient compilation of algebraic effect handlers OOPSLA 2021
- Handle with care: relational interpretation of algebraic effects and handlers POPL 2018
- Explicit Effect Subtyping ESOP 2018
- Explicit effect subtyping JFP 2020
- Gradually structured data OOPSLA 2021
- A Type System for Effect Handlers and Dynamic Labels ESOP 2023