Typed equivalence of effect handlers and delimited control

DOI10.4230/LIPICS.FSCD.2019.30MaRDI QIDQ5089033zbMATH OpenFDO

Authors Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Publication date 18 July 2022

zbMATH Keywords

algebraic effectsdelimited controltype-and-effect systemsmacro expressibility

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• Typed Dynamic Control Operators for Delimited Continuations
• Polymorphic Delimited Continuations
• Axiomatizing subtyped delimited continuations
• Subtyping delimited continuations
• A type-theoretic foundation of delimited continuations

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3997138 (Why is no real title available?)
• A static simulation of dynamic delimited control
• A syntactic approach to type soundness
• Comprehending monads
• Guarded recursive datatype constructors
• Handling algebraic effects
• On the expressive power of programming languages
• On typing delimited continuations: Three new solutions to the printf problem
• Practical foundations for programming languages
• Shallow effect handlers
• The type and effect discipline
• Type directed compilation of row-typed algebraic effects

Cited in

(6)

• A Functional Abstraction of Typed Invocation Contexts
• Asymptotic speedup via effect handlers
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• From control effects to typed continuation passing
• Understanding algebraic effect handlers via delimited control operators
• Effect handlers via generalised continuations

This page was built for publication: Typed equivalence of effect handlers and delimited control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089033)