- University of Ljubljana, Faculty of Mathematics and Physics, Slovenia
According to our database1, Matija Pretnar authored at least 22 papers between 2008 and 2023.
Legend:Book In proceedings Article PhD thesis Dataset Other
Dagstuhl Reports, 2018
Proceedings of the Programming Languages and Systems, 2018
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang., 2017
J. Funct. Program., 2017
Dagstuhl Reports, 2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016
J. Log. Algebraic Methods Program., 2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015
Proceedings of the Programming Languages and Systems, 2009
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008