Shallow effect handlers

DOI10.1007/978-3-030-02768-1_22zbMath1519.68058MaRDI QIDQ6166159

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)

Related Items (8)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Effect handlers via generalised continuations ⋮ Structured handling of scoped effects ⋮ Automated temporal verification for algebraic effects ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Unnamed Item

This page was built for publication: Shallow effect handlers