Shallow effect handlers

DOI10.1007/978-3-030-02768-1_22MaRDI QIDQ6166159zbMATH OpenFDO

Authors Daniel Hillerström, Sam Lindley

Publication date 2 August 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/20.500.11820/068e28ef-5a21-458a-860d-dc42664f7e3d

zbMATH Keywords

abstract machinescontinuation passingeffect handlers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Effect handlers via generalised continuations
• Handlers in action
• Continuation passing style for effect handlers
• Fusion for free. Efficient algebraic effect handlers
• Programming with algebraic effects and handlers

Cited in

(17)

• A Functional Abstraction of Typed Invocation Contexts
• Typed equivalence of effect handlers and delimited control
• Effect handlers via generalised continuations
• Doo bee doo bee doo
• Continuation passing style for effect handlers
• Do be do be do
• Understanding algebraic effect handlers via delimited control operators
• Structured handling of scoped effects
• Automated temporal verification for algebraic effects
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
• Latent Effects for Reusable Language Components
• A type system for effect handlers and dynamic labels
• Category-graded algebraic theories and effect handlers
• Hefty algebras: modular elaboration of higher-order effects
• A calculus for scoped effects \& handlers
• The functional machine calculus. III: Control
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

This page was built for publication: Shallow effect handlers

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