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

export refined list as

showing all ?? records

Books and Theses

see FAQ

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

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

Journal Articles

see FAQ

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

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 via DOI
- 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)
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)
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)

Conference and Workshop Papers

see FAQ

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

2018
[c6]
- 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
2016
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/types/BauerGHPS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/types/BauerGHPS16
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone:
Design and Implementation of the Andromeda Proof Assistant. TYPES 2016: 5:1-5:31
2015
[c4]
- view
  - electronic edition via DOI
- 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
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
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

Informal and Other Publications

see FAQ

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

2018
[i6]
- 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)
[i5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/ChandrasekaranL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/ChandrasekaranL18
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers:
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Dagstuhl Reports 8(4): 104-125 (2018)
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)
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)

maintained by

, founded at