Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 07245569 J. Funct. Program. 30, Paper No. e15, 57 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Karachalias} et al., J. Funct. Program. 30, Paper No. e15, 57 p. (2020; Zbl 07245569) Full Text: DOI
Lukšič, Žiga; Pretnar, Matija Local algebraic effect theories. (English) Zbl 07245567 J. Funct. Program. 30, Paper No. e13, 27 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{Ž. Lukšič} and \textit{M. Pretnar}, J. Funct. Program. 30, Paper No. e13, 27 p. (2020; Zbl 07245567) Full Text: DOI
Kammar, Ohad; Pretnar, Matija No value restriction is needed for algebraic effects and handlers. (English) Zbl 1418.68034 J. Funct. Program. 27, Paper No. e7, 34 p. (2017). MSC: 68N18 68Q55 68T15 PDF BibTeX XML Cite \textit{O. Kammar} and \textit{M. Pretnar}, J. Funct. Program. 27, Paper No. e7, 34 p. (2017; Zbl 1418.68034) Full Text: DOI