Shallow effect handlers

DOI10.1007/978-3-030-02768-1_22zbMATH Open1519.68058MaRDI QIDQ6166159FDOQ6166159

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

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

zbMATH Keywords

abstract machineseffect handlerscontinuation passing

Mathematics Subject Classification ID

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

Cited In (10)

• 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
• Understanding algebraic effect handlers via delimited control operators
• Latent Effects for Reusable Language Components
• Title not available (Why is that?)
• 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)