An Effect System for Algebraic Effects and Handlers

DOI10.1007/978-3-642-40206-7_1zbMath1394.68051arXiv1306.6316OpenAlexW1735825634MaRDI QIDQ5891182

Matija Pretnar, Andrej Bauer

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.6316

Mathematics Subject Classification ID

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

Related Items (4)

A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Doo bee doo bee doo ⋮ Gradual type theory

Uses Software

• Eff

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