Matija Pretnar

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