An Effect System for Algebraic Effects and Handlers

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]

Abstract

Abstract is missing.