Understanding algebraic effect handlers via delimited control operators

DOI10.1007/978-3-031-21314-4_4zbMath1528.68060OpenAlexW4313351216MaRDI QIDQ6111452

Youyou Cong, Kenichi Asai

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

zbMATH Keywords

type systemsalgebraic effectsdelimited control operatorsCPS translationeffect handlersmacro translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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