Follow
Matija Pretnar
Matija Pretnar
University of Ljubljana, Faculty of Mathematics and Physics
Verified email at fmf.uni-lj.si - Homepage
Title
Cited by
Cited by
Year
Handlers of algebraic effects
G Plotkin, M Pretnar
European Symposium on Programming, 80-94, 2009
3572009
Programming with algebraic effects and handlers
A Bauer, M Pretnar
Journal of Logical and Algebraic Methods in Programming, 2014
2962014
Handling Algebraic Effects
GD Plotkin, M Pretnar
Logical Methods in Computer Science 9 (4, paper 23), 1-36, 2013
2582013
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper
M Pretnar
Electronic Notes in Theoretical Computer Science 319, 19-35, 2015
1212015
An effect system for algebraic effects and handlers
A Bauer, M Pretnar
Logical Methods in Computer Science 10, 2014
1092014
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
962017
A logic for algebraic effects
G Plotkin, M Pretnar
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 118-129, 2008
692008
Logic and handling of algebraic effects
M Pretnar
The University of Edinburgh, 2010
522010
Inferring algebraic effects
M Pretnar
Logical methods in computer science 10, 2014
472014
No value restriction is needed for algebraic effects and handlers
O Kammar, M Pretnar
Journal of Functional Programming 27, 2017
312017
Efficient compilation of algebraic effect handlers
G Karachalias, F Koprivec, M Pretnar, T Schrijvers
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
232021
Asynchronous effects
D Ahman, M Pretnar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
232021
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
222018
Continuing WebAssembly with Effect Handlers
L Phipps-Costin, A Rossberg, A Guha, D Leijen, D Hillerström, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 460-485, 2023
182023
Design and implementation of the andromeda proof assistant
A Bauer, G Gilbert, PG Haselwarter, M Pretnar, CA Stone
arXiv preprint arXiv:1802.06217, 2018
172018
Local algebraic effect theories
Ž LUKŠIČ, M PRETNAR
Journal of Functional Programming 30, 2020
122020
Algebraic effect handlers go mainstream (dagstuhl seminar 18172)
SK Chandrasekaran, D Leijen, M Pretnar, T Schrijvers
Dagstuhl reports 8 (4), 104-125, 2018
102018
A low overhead automated service for teaching programming
M Lokar, M Pretnar
Proceedings of the 15th Koli Calling Conference on Computing Education …, 2015
92015
Bringing the WebAssembly Standard up to Speed with SpecTec
D Youn, W Shin, J Lee, S Ryu, J Breitner, P Gardner, S Lindley, M Pretnar, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1559-1584, 2024
82024
Explicit effect subtyping
G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers
Journal of Functional Programming 30, e15, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–20