Matija Pretnar

According to our database, Matija Pretnar authored at least 24 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Proc. ACM Program. Lang., 2024

Higher-Order Asynchronous Effects.

Danel Ahman, Matija Pretnar

Log. Methods Comput. Sci., 2024

Simplifying explicit subtyping coercions in a polymorphic calculus with effects.

Filip Koprivec, Matija Pretnar

CoRR, 2024

2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

2021

Efficient compilation of algebraic effect handlers.

Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers

Proc. ACM Program. Lang., 2021

Asynchronous effects.

Danel Ahman, Matija Pretnar

Proc. ACM Program. Lang., 2021

2020

Local algebraic effect theories.

Ziga Luksic, Matija Pretnar

J. Funct. Program., 2020

Explicit effect subtyping.

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers

J. Funct. Program., 2020

2018

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers

Dagstuhl Reports, 2018

Explicit Effect Subtyping.

Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2018

2017

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.

Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar

Proc. ACM Program. Lang., 2017

No value restriction is needed for algebraic effects and handlers.

Ohad Kammar, Matija Pretnar

J. Funct. Program., 2017

2016

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).

Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop

Dagstuhl Reports, 2016

Design and Implementation of the Andromeda Proof Assistant.

Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015

Programming with algebraic effects and handlers.

Andrej Bauer, Matija Pretnar

J. Log. Algebraic Methods Program., 2015

An Introduction to Algebraic Effects and Handlers. Invited tutorial paper.

Matija Pretnar

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

A low overhead automated service for teaching programming.

Matija Lokar, Matija Pretnar

Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

2014

Inferring Algebraic Effects.

Matija Pretnar

Log. Methods Comput. Sci., 2014

An Effect System for Algebraic Effects and Handlers.

Andrej Bauer, Matija Pretnar

Log. Methods Comput. Sci., 2014

2013

Handling Algebraic Effects.

Gordon D. Plotkin, Matija Pretnar

Log. Methods Comput. Sci., 2013

2010

Logic and handling of algebraic effects.

Matija Pretnar

PhD thesis, 2010

2009

Handlers of Algebraic Effects.

Gordon D. Plotkin, Matija Pretnar

Proceedings of the Programming Languages and Systems, 2009

2008

A Logic for Algebraic Effects.

Gordon D. Plotkin, Matija Pretnar

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008