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
Saleh, Amr Hany; Karachalias, Georgios; Pretnar, Matija; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 1418.68065 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 327-354 (2018). MSC: 68N30 68N15 68N18 PDF BibTeX XML Cite \textit{A. H. Saleh} et al., Lect. Notes Comput. Sci. 10801, 327--354 (2018; Zbl 1418.68065) Full Text: DOI