Matija Pretnar

Publications

• Explicit Effect Subtyping. Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers. 2020.
• Local Algebraic Effect Theories. Žiga Lukšič, Matija Pretnar. 2020.
• Asynchronous Effects. Danel Ahman, Matija Pretnar. 2020.
• On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar. 2017.
• No Value Restriction Is Needed for Algebraic Effects and Handlers. Ohad Kammar, Matija Pretnar. 2016.
• An Effect System for Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar. 2014.
• Inferring Algebraic Effects. Matija Pretnar. 2014.
• Programming With Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar. 2012.
• Handling Algebraic Effects. Gordon D Plotkin, Matija Pretnar. 2013.