Matija Pretnar Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOhad Kammar, Matija Pretnar: No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27: e7 (2017)
2016
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOhad Kammar, Matija Pretnar: No value restriction is needed for algebraic effects and handlers. CoRR abs/1605.06938 (2016)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannick 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)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej 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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatija Pretnar: An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. Electr. Notes Theor. Comput. Sci. 319: 19-35 (2015)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Matija Pretnar: Programming with algebraic effects and handlers. J. Log. Algebr. Meth. Program. 84(1): 108-123 (2015)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatija Lokar, Matija Pretnar: A low overhead automated service for teaching programming. Koli Calling 2015: 132-136
2014
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatija Pretnar: Inferring Algebraic Effects. Logical Methods in Computer Science 10(3) (2014)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Matija Pretnar: An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10(4) (2014)
2013
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGordon D. Plotkin, Matija Pretnar: Handling Algebraic Effects. Logical Methods in Computer Science 9(4) (2013)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Matija Pretnar: An Effect System for Algebraic Effects and Handlers. CALCO 2013: 1-16
2012
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Matija Pretnar: Programming with Algebraic Effects and Handlers .CoRR abs/1203.1539 (2012)
2010
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatija Pretnar: Logic and handling of algebraic effects. University of Edinburgh, UK 2010
2009
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGordon D. Plotkin, Matija Pretnar: Handlers of Algebraic Effects. ESOP 2009: 80-94
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGordon D. Plotkin, Matija Pretnar: A Logic for Algebraic Effects. LICS 2008: 118-129

Coauthor Index

1Andrej Bauer[i2] [j4] [j2] [c3] [i1]
2Yannick Forster[i3]
3Martin Hofmann 0001[i2]
4Ohad Kammar[j6] [i4] [i3]
5Sam Lindley[i3]
6Matija Lokar[c4]
7Gordon D. Plotkin[j1] [c2] [c1]
8Jeremy Yallop[i2]

 

Last update 2017-05-26 22:16 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page