Effect handlers via generalised continuations
From MaRDI portal
Publication:5110928
DOI10.1017/S0956796820000040zbMath1442.68028OpenAlexW3012366501MaRDI QIDQ5110928
Daniel Hillerström, Robert Atkey, Sam Lindley
Publication date: 26 May 2020
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796820000040
Related Items (7)
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Doo bee doo bee doo ⋮ Region-based resource management and lexical exception handlers in continuation-passing style ⋮ Automated temporal verification for algebraic effects ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Delimited control in OCaml, abstractly and concretely
- Programming with algebraic effects and handlers
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Modelling environments in call-by-value programming languages.
- Linear continuation-passing
- A first-order one-pass CPS transformation
- Equational theories and monads from polynomial Cayley representations
- A static simulation of dynamic delimited control
- Handling Algebraic Effects
- Fusion for Free
- Representing Control: a Study of the CPS Transformation
- The Zipper
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Doo bee doo bee doo
- Continuation passing style for effect handlers
- Compiling with continuations, continued
- Handlers in action
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- A monadic framework for delimited continuations
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Shallow effect handlers
This page was built for publication: Effect handlers via generalised continuations
