Continuation passing style for effect handlers
From MaRDI portal
Publication:5111314
Recommendations
Cites work
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- A first-order one-pass CPS transformation
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Compiling with continuations, continued
- Do be do be do
- Handlers in action
- Handling algebraic effects
- Modelling environments in call-by-value programming languages.
- No value restriction is needed for algebraic effects and handlers
- Notions of computation and monads
- Programming and reasoning with algebraic effects and dependent types
- Programming with algebraic effects and handlers
- Representing Control: a Study of the CPS Transformation
- Subtyping delimited continuations
- The Zipper
- Type directed compilation of row-typed algebraic effects
Cited in
(11)- A Functional Abstraction of Typed Invocation Contexts
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- Asymptotic speedup via effect handlers
- Shallow effect handlers
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- A selective CPS transformation
- Region-based resource management and lexical exception handlers in continuation-passing style
- Continuation-passing C, compiling threads to events through continuations
- Understanding algebraic effect handlers via delimited control operators
- Compiling with continuations, continued
- Effect handlers via generalised continuations
This page was built for publication: Continuation passing style for effect handlers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111314)
