Continuation passing style for effect handlers

DOI10.4230/LIPICS.FSCD.2017.18zbMATH Open1441.68017OpenAlexW2744389017MaRDI QIDQ5111314FDOQ5111314

Robert Atkey, Daniel Hillerström, K. C. Sivaramakrishnan, Sam Lindley

Publication date: 26 May 2020

Full work available at URL: https://doi.org/10.4230/lipics.fscd.2017.18

Recommendations

• Effect handlers via generalised continuations
• Shallow effect handlers
• A selective CPS transformation
• Representing Control: a Study of the CPS Transformation
• Compiling with continuations, continued

zbMATH Keywords

delimited controlcontinuation passing styleeffect handlers

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cites Work

• Programming with algebraic effects and handlers
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Modelling environments in call-by-value programming languages.
• Handlers in action
• Notions of computation and monads
• Title not available (Why is that?)
• The Zipper
• Representing Control: a Study of the CPS Transformation
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Handling algebraic effects
• Programming and reasoning with algebraic effects and dependent types
• A first-order one-pass CPS transformation
• Subtyping delimited continuations
• Compiling with continuations, continued
• No value restriction is needed for algebraic effects and handlers
• Type directed compilation of row-typed algebraic effects
• Do be do be do

Cited In (8)

• A Functional Abstraction of Typed Invocation Contexts
• Asymptotic speedup via effect handlers
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
• Shallow effect handlers
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Region-based resource management and lexical exception handlers in continuation-passing style
• Understanding algebraic effect handlers via delimited control operators
• Effect handlers via generalised continuations

Uses Software

• JavaScript
• Koka
• Eff
• Links

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)