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
2010 – today
- 2018
- [c5]Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers:
Explicit Effect Subtyping. ESOP 2018: 327-354 - [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) - 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) - 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) - 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) - [c4]Matija Lokar, Matija Pretnar:
A low overhead automated service for teaching programming. Koli Calling 2015: 132-136 - 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) - [c3]
- 2012
- [i1]Andrej Bauer, Matija Pretnar:
Programming with Algebraic Effects and Handlers. CoRR abs/1203.1539 (2012) - 2010
- [b1]Matija Pretnar:
Logic and handling of algebraic effects. University of Edinburgh, UK 2010
2000 – 2009
- 2009
- [c2]
- 2008
- [c1]
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