Understanding algebraic effect handlers via delimited control operators
From MaRDI portal
Publication:6111452
DOI10.1007/978-3-031-21314-4_4zbMath1528.68060OpenAlexW4313351216MaRDI QIDQ6111452
Publication date: 3 August 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-21314-4_4
type systemsalgebraic effectsdelimited control operatorsCPS translationeffect handlersmacro translation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On typing delimited continuations: Three new solutions to the printf problem
- On the expressive power of programming languages
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Modelling environments in call-by-value programming languages.
- Algebraic operations and generic effects
- A static simulation of dynamic delimited control
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Axiomatizing Subtyped Delimited Continuations.
- A Substructural Type System for Delimited Continuations
- Handlers of Algebraic Effects
- A Selective CPS Transformation
- Effect handlers via generalised continuations
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Continuation passing style for effect handlers
- Subtyping delimited continuations
- Handlers in action
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- A monadic framework for delimited continuations
- Typed Dynamic Control Operators for Delimited Continuations
- An Effect System for Algebraic Effects and Handlers
- Shallow effect handlers