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
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
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
Pretnar, Matija An introduction to algebraic effects and handlers (invited tutorial paper). (English) Zbl 1351.68079 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 19-35, electronic only (2015). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{M. Pretnar}, Electron. Notes Theor. Comput. Sci. 319, 19--35 (2015; Zbl 1351.68079) Full Text: DOI
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
Pretnar, Matija The basics of quantum computing. II. (Slovenian. English summary) Zbl 1367.81037 Obz. Mat. Fiz. 61, No. 2, 41-51 (2014). MSC: 81P68 68Q05 68Q12 PDF BibTeX XML Cite \textit{M. Pretnar}, Obz. Mat. Fiz. 61, No. 2, 41--51 (2014; Zbl 1367.81037)
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
Pretnar, Matija The basics of quantum computing. I. (Slovenian. English summary) Zbl 1367.81036 Obz. Mat. Fiz. 60, No. 6, 201-211 (2013). MSC: 81P68 68Q05 68Q12 PDF BibTeX XML Cite \textit{M. Pretnar}, Obz. Mat. Fiz. 60, No. 6, 201--211 (2013; Zbl 1367.81036)
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
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
Plotkin, Gordon; Pretnar, Matija Handlers of algebraic effects. (English) Zbl 1234.68059 Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 80-94 (2009). MSC: 68N18 03B70 18C15 PDF BibTeX XML Cite \textit{G. Plotkin} and \textit{M. Pretnar}, Lect. Notes Comput. Sci. 5502, 80--94 (2009; Zbl 1234.68059) Full Text: DOI