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 machineseffect handlerscontinuation passing

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

(12)

• A Functional Abstraction of Typed Invocation Contexts
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
• A type system for effect handlers and dynamic labels
• Structured handling of scoped effects
• Automated temporal verification for algebraic effects
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
• Do be do be do
• Understanding algebraic effect handlers via delimited control operators
• Latent Effects for Reusable Language Components
• scientific article; zbMATH DE number 7559296 (Why is no real title available?)
• Doo bee doo bee doo
• Effect handlers via generalised continuations

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)