Bauer, Andrej; Pretnar, Matija Programming with algebraic effects and handlers. (English) Zbl 1304.68025 J. Log. Algebr. Methods Program. 84, No. 1, 108-123 (2015). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{M. Pretnar}, J. Log. Algebr. Methods Program. 84, No. 1, 108--123 (2015; Zbl 1304.68025) Full Text: DOI
Bauer, Andrej; Pretnar, Matija An effect system for algebraic effects and handlers. (English) Zbl 1448.68203 Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014; Zbl 1448.68203) Full Text: DOI
Bauer, Andrej; Pretnar, Matija An effect system for algebraic effects and handlers. (English) Zbl 1394.68051 Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 1-16 (2013). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{M. Pretnar}, Lect. Notes Comput. Sci. 8089, 1--16 (2013; Zbl 1394.68051) Full Text: DOI