An Effect System for Algebraic Effects and Handlers - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Andrej Bauer, Matija Pretnar. An Effect System for Algebraic Effects and Handlers. In Reiko Heckel, Stefan Milius, editors, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Volume 8089 of Lecture Notes in Computer Science, pages 1-16, Springer, 2013. [doi]

The following publications are possibly variants of this publication:

Handlers of Algebraic EffectsGordon D. Plotkin, Matija Pretnar. ESOP 2009: 80-94 [doi]

Programming with algebraic effects and handlersAndrej Bauer, Matija Pretnar. jlp, 84(1):108-123, 2015. [doi]

runs on WebDSL