According to our database1, Matija Pretnar authored at least 18 papers between 2008 and 2021.
Legend:Book In proceedings Article PhD thesis 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