| Programming with algebraic effects and handlers A Bauer, M Pretnar Journal of Logical and Algebraic Methods in Programming, 2014 | 210 | 2014 |
| Handlers of algebraic effects G Plotkin, M Pretnar European Symposium on Programming, 80-94, 2009 | 189 | 2009 |
| Handling Algebraic Effects GD Plotkin, M Pretnar Logical Methods in Computer Science 9 (4, paper 23), 1-36, 2013 | 145 | 2013 |
| An effect system for algebraic effects and handlers A Bauer, M Pretnar International Conference on Algebra and Coalgebra in Computer Science, 1-16, 2013 | 62 | 2013 |
| An Introduction to Algebraic Effects and Handlers. Invited tutorial paper M Pretnar Electronic Notes in Theoretical Computer Science 319, 19-35, 2015 | 51 | 2015 |
| A logic for algebraic effects G Plotkin, M Pretnar 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 118-129, 2008 | 46 | 2008 |
| Logic and handling of algebraic effects M Pretnar The University of Edinburgh, 2010 | 45 | 2010 |
| On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control Y Forster, O Kammar, S Lindley, M Pretnar Proceedings of the ACM on Programming Languages 1 (ICFP), 13, 2017 | 43 | 2017 |
| Inferring Algebraic Effects M Pretnar arXiv preprint arXiv:1312.2334, 2013 | 32 | 2013 |
| No value restriction is needed for algebraic effects and handlers O Kammar, M Pretnar Journal of Functional Programming 27, 2017 | 20 | 2017 |
| Explicit Effect Subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers European Symposium on Programming, 327-354, 2018 | 13 | 2018 |
| Design and implementation of the andromeda proof assistant A Bauer, G Gilbert, PG Haselwarter, M Pretnar, CA Stone arXiv preprint arXiv:1802.06217, 2018 | 10 | 2018 |
| Efficient compilation of algebraic effects and handlers M Pretnar, AHS Saleh, A Faes, T Schrijvers CW Reports, 2017 | 10 | 2017 |
| A low overhead automated service for teaching programming M Lokar, M Pretnar Proceedings of the 15th Koli Calling Conference on Computing Education …, 2015 | 8 | 2015 |
| From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) A Bauer, M Hofmann, M Pretnar, J Yallop Dagstuhl Reports 6 (3), 2016 | 4 | 2016 |
| Algebraic effect handlers go mainstream (dagstuhl seminar 18172) SK Chandrasekaran, D Leijen, M Pretnar, T Schrijvers Dagstuhl Reports 8 (4), 2018 | 2 | 2018 |
| An Effect System for Algebraic Effects and Handlers M Pretnar, A Bauer Logical Methods in Computer Science 10, 2014 | 2 | 2014 |
| Asynchronous effects D Ahman, M Pretnar Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 1 | 2021 |
| Local algebraic effect theories Z Luksic, M Pretnar JOURNAL OF FUNCTIONAL PROGRAMMING 30, 2020 | 1* | 2020 |
| Local algebraic effect theories Ž LUKŠIČ, M PRETNAR Journal of Functional Programming 30, 2020 | 1 | 2020 |
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
