Matija Pretnar
According to our database^{1},
Matija Pretnar
authored at least 18 papers
between 2008 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on twitter.com

on orcid.org

on github.com

on andrej.com
On csauthors.net:
Bibliography
2021
Proc. ACM Program. Lang., 2021
2020
J. Funct. Program., 2020
J. Funct. Program., 2020
2018
Dagstuhl Reports, 2018
Proceedings of the Programming Languages and Systems, 2018
2017
On the expressive power of userdefined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang., 2017
J. Funct. Program., 2017
2016
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).
Dagstuhl Reports, 2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016
2015
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
2014
Log. Methods Comput. Sci., 2014
Log. Methods Comput. Sci., 2014
2013
Log. Methods Comput. Sci., 2013
2010
PhD thesis, 2010
2009
Proceedings of the Programming Languages and Systems, 2009
2008
Proceedings of the TwentyThird Annual IEEE Symposium on Logic in Computer Science, 2008