Matija Pretnar

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 26

Top Venues

CoRR

Proc. ACM Program. Lang.

J. Funct. Program.

Log. Methods Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Filip Koprivec, Matija Pretnar
Simplifying explicit subtyping coercions in a polymorphic calculus with effects. CoRR (2024)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. CoRR (2023)
Danel Ahman, Matija Pretnar
Higher-Order Asynchronous Effects. CoRR (2023)
Danel Ahman, Matija Pretnar
Asynchronous effects. Proc. ACM Program. Lang. 5 (POPL) (2021)
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ziga Luksic, Matija Pretnar
Local algebraic effect theories. J. Funct. Program. 30 (2020)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit effect subtyping. J. Funct. Program. 30 (2020)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit Effect Subtyping. CoRR (2020)
Danel Ahman, Matija Pretnar
Asynchronous effects. CoRR (2020)
Ziga Luksic, Matija Pretnar
Local Algebraic Effect Theories. CoRR (2020)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. J. Funct. Program. 29 (2019)
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Dagstuhl Reports 8 (4) (2018)
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
Explicit Effect Subtyping. ESOP (2018)
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
Design and Implementation of the Andromeda Proof Assistant. CoRR (2018)
Ohad Kammar, Matija Pretnar
No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27 (2017)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
Design and Implementation of the Andromeda Proof Assistant. TYPES (2016)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR (2016)
Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports 6 (3) (2016)
Ohad Kammar, Matija Pretnar
No value restriction is needed for algebraic effects and handlers. CoRR (2016)
Andrej Bauer, Matija Pretnar
Programming with algebraic effects and handlers. J. Log. Algebraic Methods Program. 84 (1) (2015)
Matija Lokar, Matija Pretnar
A low overhead automated service for teaching programming. Koli Calling (2015)
Matija Pretnar
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. MFPS (2015)
Matija Pretnar
Inferring Algebraic Effects. Log. Methods Comput. Sci. 10 (3) (2014)
Andrej Bauer, Matija Pretnar
An Effect System for Algebraic Effects and Handlers. Log. Methods Comput. Sci. 10 (4) (2014)
Andrej Bauer, Matija Pretnar
An Effect System for Algebraic Effects and Handlers. CALCO (2013)
Gordon D. Plotkin, Matija Pretnar
Handling Algebraic Effects. Log. Methods Comput. Sci. 9 (4) (2013)
Andrej Bauer, Matija Pretnar
Programming with Algebraic Effects and Handlers CoRR (2012)
Gordon D. Plotkin, Matija Pretnar
Handlers of Algebraic Effects. ESOP (2009)
Gordon D. Plotkin, Matija Pretnar
A Logic for Algebraic Effects. LICS (2008)

Matija Pretnar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matija Pretnar