An Effect System for Algebraic Effects and Handlers

DOI10.2168/LMCS-10(4:9)2014zbMath1448.68203MaRDI QIDQ5892064

Andrej Bauer, Matija Pretnar

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic effectseffect systemeffect handlers

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (7)

Runners in Action ⋮ Structured handling of scoped effects ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Eff ⋮ Not by equations alone: Reasoning with extensible effects

Uses Software

• ML
• Twelf

This page was built for publication: An Effect System for Algebraic Effects and Handlers