Matija Pretnar
Person information
- affiliation: University of Ljubljana, Faculty of Mathematics and Physics, Slovenia
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
Books and Theses
- 2010
- [b1]Matija Pretnar:
Logic and handling of algebraic effects. University of Edinburgh, UK 2010
Journal Articles
- 2017
- [j7]Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27: e7 (2017) - [j6]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. PACMPL 1(ICFP): 13:1-13:29 (2017) - 2015
- [j5]Matija Pretnar:
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. Electr. Notes Theor. Comput. Sci. 319: 19-35 (2015) - [j4]Andrej Bauer, Matija Pretnar:
Programming with algebraic effects and handlers. J. Log. Algebr. Meth. Program. 84(1): 108-123 (2015) - 2014
- [j3]
- [j2]Andrej Bauer, Matija Pretnar:
An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10(4) (2014) - 2013
- [j1]Gordon D. Plotkin, Matija Pretnar:
Handling Algebraic Effects. Logical Methods in Computer Science 9(4) (2013)
Conference and Workshop Papers
- 2018
- [c5]Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers:
Explicit Effect Subtyping. ESOP 2018: 327-354 - 2015
- [c4]Matija Lokar, Matija Pretnar:
A low overhead automated service for teaching programming. Koli Calling 2015: 132-136 - 2013
- [c3]
- 2009
- [c2]
- 2008
- [c1]
Informal and Other Publications
- 2018
- [i5]Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone:
Design and Implementation of the Andromeda Proof Assistant. CoRR abs/1802.06217 (2018) - 2016
- [i4]Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. CoRR abs/1605.06938 (2016) - [i3]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR abs/1610.09161 (2016) - [i2]Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop:
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports 6(3): 44-58 (2016) - 2012
- [i1]Andrej Bauer, Matija Pretnar:
Programming with Algebraic Effects and Handlers. CoRR abs/1203.1539 (2012)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-18 00:31 CEST by the dblp team