Matija Pretnar
发表
Tom Schrijvers,
Daan Leijen,
Sivaramakrishnan Krishnamoorthy Chandrasekaran,
2018,
Dagstuhl Reports.
Gordon D. Plotkin,
Matija Pretnar,
G. Plotkin,
2013,
Log. Methods Comput. Sci..
Ohad Kammar,
Matija Pretnar,
Sam Lindley,
2019,
J. Funct. Program..
Gordon D. Plotkin,
Matija Pretnar,
G. Plotkin,
2009,
ESOP.
Matija Pretnar,
Ziga Luksic,
2020,
J. Funct. Program..
Gordon D. Plotkin,
Matija Pretnar,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Matija Pretnar,
Danel Ahman,
2021,
Proc. ACM Program. Lang..
Ohad Kammar,
Matija Pretnar,
Sam Lindley,
2017
.
Matija Pretnar,
Matija Pretnar,
2010
.
Ohad Kammar,
Matija Pretnar,
Sam Lindley,
2016,
Journal of Functional Programming.
Matija Pretnar,
Matija Lokar,
2015,
Koli Calling.
Andrej Bauer,
Matija Pretnar,
2013,
CALCO.
Andrej Bauer,
Matija Pretnar,
2014,
Log. Methods Comput. Sci..
Andrej Bauer,
Matija Pretnar,
Christopher A. Stone,
2016,
TYPES.
Ohad Kammar,
Matija Pretnar,
Ohad Kammar,
2016,
Journal of Functional Programming.
Matija Pretnar,
2015,
MFPS.
Ohad Kammar,
Matija Pretnar,
2017,
J. Funct. Program..
Andrej Bauer,
Matija Pretnar,
A. Bauer,
2012,
J. Log. Algebraic Methods Program..
Martin Hofmann,
Andrej Bauer,
Jeremy Yallop,
2016,
Dagstuhl Reports.
Tom Schrijvers,
Matija Pretnar,
Georgios Karachalias,
2018,
ESOP.
Matija Pretnar,
2014,
Log. Methods Comput. Sci..
Tom Schrijvers,
Matija Pretnar,
Georgios Karachalias,
2020,
J. Funct. Program..
Tom Schrijvers,
Matija Pretnar,
Georgios Karachalias,
2021,
Proc. ACM Program. Lang..