Matija Pretnar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Design and implementation of the andromeda proof assistant	2026-02-20	Paper
Simplifying explicit subtyping coercions in a polymorphic calculus with effects Logical Methods in Computer Science	2026-02-13	Paper
Higher-order asynchronous effects Logical Methods in Computer Science	2024-11-12	Paper
Local algebraic effect theories Journal of Functional Programming	2020-09-09	Paper
Explicit effect subtyping Journal of Functional Programming	2020-09-09	Paper
Explicit effect subtyping (available as arXiv preprint)	2019-09-13	Paper
No value restriction is needed for algebraic effects and handlers Journal of Functional Programming	2017-10-23	Paper
scientific article; zbMATH DE number 6729373 (Why is no real title available?)	2017-06-12	Paper
scientific article; zbMATH DE number 6729370 (Why is no real title available?)	2017-06-12	Paper
An introduction to algebraic effects and handlers (invited tutorial paper) Electronic Notes in Theoretical Computer Science	2016-12-16	Paper
An effect system for algebraic effects and handlers Logical Methods in Computer Science	2015-01-15	Paper
Programming with algebraic effects and handlers Journal of Logical and Algebraic Methods in Programming	2014-12-03	Paper
Inferring algebraic effects Logical Methods in Computer Science	2014-09-30	Paper
Handling algebraic effects Logical Methods in Computer Science	2014-01-08	Paper
An effect system for algebraic effects and handlers Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Handlers of Algebraic Effects Programming Languages and Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Matija Pretnar