Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMatija Pretnar
Refine list
refinements active!
zoomed in on ?? of ?? records
showing all ?? records
2010 – today
- 2017
[j6]Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27: e7 (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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-07-13 22:56 CEST by the dblp team