Simplifying explicit subtyping coercions in a polymorphic calculus with effects.

Matija Pretnar University of Ljubljana, Faculty of Mathematics and Physics, Slovenia http://matija.pretnar.info/ https://www.fmf.uni-lj.si/si/imenik/14143/ https://scholar.google.com/citations?user=VbovIwwAAAAJ https://twitter.com/matijapretnar/ https://github.com/matijapretnar/ https://orcid.org/0000-0001-7755-2303 http://www.andrej.com/mathematicians/P/Pretnar_Matija.html https://www.wikidata.org/entity/Q130851170

Filip Koprivec Matija Pretnar Simplifying explicit subtyping coercions in a polymorphic calculus with effects. 2025 21 Log. Methods Comput. Sci. 4 https://doi.org/10.46298/lmcs-21(4:25)2025 db/journals/lmcs/lmcs21.html#KoprivecP25 streams/journals/lmcs

Danel Ahman Matija Pretnar Higher-Order Asynchronous Effects. 2024 20 Log. Methods Comput. Sci. 3 https://doi.org/10.46298/lmcs-20(3:26)2024 db/journals/lmcs/lmcs20.html#AhmanP24

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. 1559-1584 2024 8 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3656440 https://www.wikidata.org/entity/Q130941083 db/journals/pacmpl/pacmpl8.html#YounSLRBGLPRWR24 streams/journals/pacmpl

Filip Koprivec Matija Pretnar Simplifying explicit subtyping coercions in a polymorphic calculus with effects. 2024 abs/2404.04218 CoRR https://doi.org/10.48550/arXiv.2404.04218 db/journals/corr/corr2404.html#abs-2404-04218

Luna Phipps-Costin Andreas Rossberg Arjun Guha Daan Leijen Daniel Hillerström K. C. Sivaramakrishnan Matija Pretnar Sam Lindley Continuing WebAssembly with Effect Handlers. 460-485 2023 October 7 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3622814 https://www.wikidata.org/entity/Q131020100 db/journals/pacmpl/pacmpl7.html#PhippsCostinRGLHSPL23

Danel Ahman Matija Pretnar Higher-Order Asynchronous Effects. 2023 abs/2307.13795 CoRR https://doi.org/10.48550/arXiv.2307.13795 db/journals/corr/corr2307.html#abs-2307-13795

Luna Phipps-Costin Andreas Rossberg Arjun Guha Daan Leijen Daniel Hillerström K. C. Sivaramakrishnan Matija Pretnar Sam Lindley Continuing WebAssembly with Effect Handlers. 2023 abs/2308.08347 CoRR https://doi.org/10.48550/arXiv.2308.08347 db/journals/corr/corr2308.html#abs-2308-08347

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. 2023 abs/2311.07223 CoRR https://doi.org/10.48550/arXiv.2311.07223 db/journals/corr/corr2311.html#abs-2311-07223

Georgios Karachalias Filip Koprivec Matija Pretnar Tom Schrijvers Efficient compilation of algebraic effect handlers. 1-28 2021 5 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3485479 https://www.wikidata.org/entity/Q130851171 db/journals/pacmpl/pacmpl5.html#KarachaliasKPS21

Danel Ahman Matija Pretnar Asynchronous effects. 1-28 2021 5 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3434305 db/journals/pacmpl/pacmpl5.html#AhmanP21

Georgios Karachalias Filip Koprivec Matija Pretnar Tom Schrijvers Eff Oopsla2021 artifact Dockerfile. Zenodo 2021 July https://doi.org/10.5281/zenodo.5092128 streams/repo/zenodo data/12/KarachaliasKPS21c Georgios Karachalias Filip Koprivec Matija Pretnar Tom Schrijvers Eff Oopsla2021 artifact Dockerfile. Zenodo 2021 July https://doi.org/10.5281/zenodo.5130319 streams/repo/zenodo data/12/KarachaliasKPS21c Georgios Karachalias Filip Koprivec Matija Pretnar Tom Schrijvers Eff Oopsla2021 artifact Dockerfile. Zenodo 2021 July https://doi.org/10.5281/zenodo.5497862 streams/repo/zenodo data/12/KarachaliasKPS21c

Ziga Luksic Matija Pretnar Local algebraic effect theories. e13 2020 30 J. Funct. Program. https://doi.org/10.1017/S0956796819000212 db/journals/jfp/jfp30.html#LuksicP20

Georgios Karachalias Matija Pretnar Amr Hany Saleh Stien Vanderhallen Tom Schrijvers Explicit effect subtyping. e15 2020 30 J. Funct. Program. https://doi.org/10.1017/S0956796820000131 db/journals/jfp/jfp30.html#KarachaliasPSVS20

Danel Ahman Matija Pretnar Asynchronous effects. 2020 abs/2003.02110 CoRR https://arxiv.org/abs/2003.02110 db/journals/corr/corr2003.html#abs-2003-02110

Ziga Luksic Matija Pretnar Local Algebraic Effect Theories. 2020 abs/2005.13654 CoRR https://arxiv.org/abs/2005.13654 db/journals/corr/corr2005.html#abs-2005-13654

Georgios Karachalias Matija Pretnar Amr Hany Saleh Stien Vanderhallen Tom Schrijvers Explicit Effect Subtyping. 2020 abs/2005.13814 CoRR https://arxiv.org/abs/2005.13814 db/journals/corr/corr2005.html#abs-2005-13814

Yannick Forster 0002 Ohad Kammar Sam Lindley Matija Pretnar On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. e15 2019 29 J. Funct. Program. https://doi.org/10.1017/S0956796819000121 https://www.wikidata.org/entity/Q127128148 db/journals/jfp/jfp29.html#0002KLP19

Amr Hany Saleh Georgios Karachalias Matija Pretnar Tom Schrijvers Explicit Effect Subtyping. 327-354 2018 ESOP https://doi.org/10.1007/978-3-319-89884-1_12 conf/esop/2018 db/conf/esop/esop2018.html#SalehKPS18

Andrej Bauer Gaëtan Gilbert Philipp G. Haselwarter Matija Pretnar Christopher A. Stone Design and Implementation of the Andromeda Proof Assistant. 2018 abs/1802.06217 CoRR http://arxiv.org/abs/1802.06217 db/journals/corr/corr1802.html#abs-1802-06217

Sivaramakrishnan Krishnamoorthy Chandrasekaran Daan Leijen Matija Pretnar Tom Schrijvers Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). 104-125 2018 8 Dagstuhl Reports 4 https://doi.org/10.4230/DagRep.8.4.104 db/journals/dagstuhl-reports/dagstuhl-reports8.html#ChandrasekaranL18

Ohad Kammar Matija Pretnar No value restriction is needed for algebraic effects and handlers. e7 2017 27 J. Funct. Program. https://doi.org/10.1017/S0956796816000320 db/journals/jfp/jfp27.html#KammarP17

Yannick Forster 0002 Ohad Kammar Sam Lindley Matija Pretnar On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. 13:1-13:29 2017 1 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3110257 https://www.wikidata.org/entity/Q130983851 db/journals/pacmpl/pacmpl1.html#0002KLP17

Andrej Bauer Gaëtan Gilbert Philipp G. Haselwarter Matija Pretnar Christopher A. Stone Design and Implementation of the Andromeda Proof Assistant. 5:1-5:31 2016 TYPES https://doi.org/10.4230/LIPIcs.TYPES.2016.5 conf/types/2016 db/conf/types/types2016.html#BauerGHPS16

Ohad Kammar Matija Pretnar No value restriction is needed for algebraic effects and handlers. 2016 abs/1605.06938 CoRR http://arxiv.org/abs/1605.06938 db/journals/corr/corr1605.html#KammarP16

Yannick Forster 0002 Ohad Kammar Sam Lindley Matija Pretnar On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. 2016 abs/1610.09161 CoRR http://arxiv.org/abs/1610.09161 db/journals/corr/corr1610.html#ForsterKLP16

Andrej Bauer Martin Hofmann 0001 Matija Pretnar Jeremy Yallop From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). 44-58 2016 6 Dagstuhl Reports 3 https://doi.org/10.4230/DagRep.6.3.44 db/journals/dagstuhl-reports/dagstuhl-reports6.html#Bauer0PY16

Andrej Bauer Matija Pretnar Programming with algebraic effects and handlers. 108-123 2015 84 J. Log. Algebraic Methods Program. 1 https://doi.org/10.1016/j.jlamp.2014.02.001 https://www.wikidata.org/entity/Q115902568 db/journals/jlp/jlp84.html#BauerP15

Matija Lokar Matija Pretnar A low overhead automated service for teaching programming. 132-136 2015 Koli Calling https://doi.org/10.1145/2828959.2828964 conf/kolicalling/2015 db/conf/kolicalling/kolicalling2015.html#LokarP15 Matija Pretnar An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. 19-35 2015 conf/mfps/2015 MFPS https://doi.org/10.1016/j.entcs.2015.12.003 https://www.wikidata.org/entity/Q113317741 db/journals/entcs/entcs319.html#Pretnar15

Matija Pretnar Inferring Algebraic Effects. 2014 10 3 Log. Methods Comput. Sci. https://doi.org/10.2168/LMCS-10(3:21)2014 http://arxiv.org/abs/1312.2334 db/journals/lmcs/lmcs10.html#Pretnar13

Andrej Bauer Matija Pretnar An Effect System for Algebraic Effects and Handlers. 2014 Log. Methods Comput. Sci. https://doi.org/10.2168/LMCS-10(4:9)2014 http://arxiv.org/abs/1306.6316 10 4 db/journals/lmcs/lmcs10.html#BauerP13

Gordon D. Plotkin Matija Pretnar Handling Algebraic Effects. 2013 9 4 Log. Methods Comput. Sci. https://doi.org/10.2168/LMCS-9(4:23)2013 http://arxiv.org/abs/1312.1399 db/journals/lmcs/lmcs9.html#PlotkinP13

Andrej Bauer Matija Pretnar An Effect System for Algebraic Effects and Handlers. 1-16 2013 CALCO https://doi.org/10.1007/978-3-642-40206-7_1 conf/calco/2013 db/conf/calco/calco2013.html#BauerP13

Andrej Bauer Matija Pretnar Programming with Algebraic Effects and Handlers http://arxiv.org/abs/1203.1539 2012 CoRR abs/1203.1539 db/journals/corr/corr1203.html#abs-1203-1539

Matija Pretnar Logic and handling of algebraic effects. 2010 University of Edinburgh, UK https://hdl.handle.net/1842/4611 https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.562977 British Library, EThOS Gordon D. Plotkin Matija Pretnar Handlers of Algebraic Effects. 80-94 2009 ESOP https://doi.org/10.1007/978-3-642-00590-9_7 conf/esop/2009 db/conf/esop/esop2009.html#PlotkinP09 Gordon D. Plotkin Matija Pretnar A Logic for Algebraic Effects. 118-129 2008 LICS https://doi.org/10.1109/LICS.2008.45 https://doi.ieeecomputersociety.org/10.1109/LICS.2008.45 conf/lics/2008 db/conf/lics/lics2008.html#PlotkinP08 Danel Ahman Andrej Bauer Joachim Breitner Sivaramakrishnan Krishnamoorthy Chandrasekaran Yannick Forster 0002 Philippa Gardner Gaëtan Gilbert Arjun Guha Philipp G. Haselwarter Daniel Hillerström Martin Hofmann 0001 Ohad Kammar Georgios Karachalias Filip Koprivec Jaehyun Lee Daan Leijen Sam Lindley Matija Lokar Ziga Luksic Luna Phipps-Costin Gordon D. Plotkin Xiaojia Rao Andreas Rossberg Sukyoung Ryu Amr Hany Saleh Tom Schrijvers Wonho Shin K. C. Sivaramakrishnan Christopher A. Stone Stien Vanderhallen Conrad Watt Jeremy Yallop Dongjun Youn