ask others

Matija Pretnar

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/SalehKPS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/SalehKPS18
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers:
Explicit Effect Subtyping. ESOP 2018: 327-354
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-06217
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-06217
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/KammarP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/KammarP17
Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27: e7 (2017)
[j6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/pacmpl/0002KLP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/0002KLP17
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KammarP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/KammarP16
Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. CoRR abs/1605.06938 (2016)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ForsterKLP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ForsterKLP16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/Bauer0PY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/Bauer0PY16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Pretnar15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Pretnar15
Matija Pretnar:
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. Electr. Notes Theor. Comput. Sci. 319: 19-35 (2015)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/BauerP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/BauerP15
Andrej Bauer, Matija Pretnar:
Programming with algebraic effects and handlers. J. Log. Algebr. Meth. Program. 84(1): 108-123 (2015)
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/kolicalling/LokarP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kolicalling/LokarP15
Matija Lokar, Matija Pretnar:
A low overhead automated service for teaching programming. Koli Calling 2015: 132-136
2014
[j3]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Pretnar13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Pretnar13
Matija Pretnar:
Inferring Algebraic Effects. Logical Methods in Computer Science 10(3) (2014)
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BauerP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BauerP13
Andrej Bauer, Matija Pretnar:
An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10(4) (2014)
2013
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/PlotkinP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/PlotkinP13
Gordon D. Plotkin, Matija Pretnar:
Handling Algebraic Effects. Logical Methods in Computer Science 9(4) (2013)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BauerP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BauerP13
Andrej Bauer, Matija Pretnar:
An Effect System for Algebraic Effects and Handlers. CALCO 2013: 1-16
2012
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1203-1539
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1203-1539
Andrej Bauer, Matija Pretnar:
Programming with Algebraic Effects and Handlers. CoRR abs/1203.1539 (2012)
2010
[b1]
- view
  - electronic edition via handle.net
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Pretnar10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Pretnar10
Matija Pretnar:
Logic and handling of algebraic effects. University of Edinburgh, UK 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/PlotkinP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/PlotkinP09
Gordon D. Plotkin, Matija Pretnar:
Handlers of Algebraic Effects. ESOP 2009: 80-94
2008
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/PlotkinP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/PlotkinP08
Gordon D. Plotkin, Matija Pretnar:
A Logic for Algebraic Effects. LICS 2008: 118-129

Coauthor Index

see FAQ

maintained by

at