Matija Pretnar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESOP | Explicit Effect Subtyping. | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
| 2013 | CALCO | An Effect System for Algebraic Effects and Handlers. | Andrej Bauer, Matija Pretnar |
| 2009 | ESOP | Handlers of Algebraic Effects. | Gordon D. Plotkin, Matija Pretnar |
| 2008 | LICS | A Logic for Algebraic Effects. | Gordon D. Plotkin, Matija Pretnar |