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
Pretnar, Matija Inferring algebraic effects. (English) Zbl 1341.68024 Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014). MSC: 68N18 PDF BibTeX XML Cite \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014; Zbl 1341.68024) Full Text: DOI
Plotkin, Gordon D.; Pretnar, Matija Handling algebraic effects. (English) Zbl 1314.68191 Log. Methods Comput. Sci. 9, No. 4, Paper No. 25, 36 p. (2013). MSC: 68Q65 18C50 PDF BibTeX XML Cite \textit{G. D. Plotkin} and \textit{M. Pretnar}, Log. Methods Comput. Sci. 9, No. 4, Paper No. 25, 36 p. (2013; Zbl 1314.68191) Full Text: DOI