Handling Algebraic Effects

Gordon D Plotkin; Matija Pretnar

doi:10.2168/LMCS-9(4:23)2013

Gordon D Plotkin ; Matija Pretnar - Handling Algebraic Effects

lmcs:705 - Logical Methods in Computer Science, December 17, 2013, Volume 9, Issue 4 - https://doi.org/10.2168/LMCS-9(4:23)2013

Handling Algebraic EffectsArticle

Authors: Gordon D Plotkin ; Matija Pretnar

Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism, interactive input/output, and time, and their combinations. Exception handling, however, has so far received no algebraic treatment. We present such a treatment, in which each handler yields a model of the theory for exceptions, and each handling construct yields the homomorphism induced by the universal property of the free model. We further generalise exception handlers to arbitrary algebraic effects. The resulting programming construct includes many previously unrelated examples from both theory and practice, including relabelling and restriction in Milner's CCS, timeout, rollback, and stream redirection.

https://doi.org/10.2168/LMCS-9(4:23)2013

Source: arXiv.org:1312.1399

Volume: Volume 9, Issue 4

Published on: December 17, 2013

Imported on: October 20, 2011

Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages

Licence: arXiv.org - Non-exclusive license to distribute

Classifications

Mathematics Subject Classification 2020¹

Sources:

[1] zbMATH Open.

Bibliographic References

90 Documents citing this article

Dan Frumin;Amin Timany;Lars Birkedal, 2024, Modular Denotational Semantics for Effects with Guarded Interaction Trees, Proceedings of the ACM on Programming Languages, 8, POPL, pp. 332-361, 10.1145/3632854, https://doi.org/10.1145/3632854.

Donnacha Oisín Kidney;Zhixuan Yang;Nicolas Wu, 2024, Algebraic Effects Meet Hoare Logic in Cubical Agda, Proceedings of the ACM on Programming Languages, 8, POPL, pp. 1663-1695, 10.1145/3632898, https://doi.org/10.1145/3632898.

Fuga Kawamata;Hiroshi Unno;Taro Sekiyama;Tachio Terauchi, 2024, Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers, Proceedings of the ACM on Programming Languages, 8, POPL, pp. 115-147, 10.1145/3633280, https://doi.org/10.1145/3633280.

Tom J. Smeding;Matthijs I. L. Vákár, 2024, Efficient CHAD, Proceedings of the ACM on Programming Languages, 8, POPL, pp. 1060-1088, 10.1145/3632878, https://doi.org/10.1145/3632878.

ALEXANDER VANDENBROUCKE;TOM SCHRIJVERS, 2023, Disjunctive Delimited Control, Theory and Practice of Logic Programming, 24, 1, pp. 110-131, 10.1017/s1471068423000029, https://doi.org/10.1017/s1471068423000029.

Danel Ahman, Lecture notes in computer science, When Programs Have to Watch Paint Dry, pp. 1-23, 2023, 10.1007/978-3-031-30829-1_1, https://doi.org/10.1007/978-3-031-30829-1_1.

Farzaneh Derakhshan;Myra Dotzel;Milijana Surbatovich;Limin Jia, Lecture notes in computer science, Modal Crash Types for Intermittent Computing, pp. 168-196, 2023, 10.1007/978-3-031-30044-8_7, https://doi.org/10.1007/978-3-031-30044-8_7.

Filip Sieczkowski;Mateusz Pyzik;Dariusz Biernacki, 2023, A General Fine-Grained Reduction Theory for Effect Handlers, Proceedings of the ACM on Programming Languages, 7, ICFP, pp. 511-540, 10.1145/3607848, https://doi.org/10.1145/3607848.

Taro Sekiyama;Hiroshi Unno, 2023, Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations, Proceedings of the ACM on Programming Languages, 7, POPL, pp. 2079-2110, 10.1145/3571264, https://doi.org/10.1145/3571264.

Zhixuan Yang;Nicolas Wu, 2023, Modular Models of Monoids with Operations, Proceedings of the ACM on Programming Languages, 7, ICFP, pp. 566-603, 10.1145/3607850, https://doi.org/10.1145/3607850.

Dan Ghica;Sam Lindley;Marcos Maroñas Bravo;Maciej Piróg, 2022, High-level effect handlers in C++, Proceedings of the ACM on Programming Languages, 6, OOPSLA2, pp. 1639-1667, 10.1145/3563445, https://doi.org/10.1145/3563445.

Irene Yoon;Yannick Zakowski;Steve Zdancewic, 2022, Formal reasoning about layered monadic interpreters, Proceedings of the ACM on Programming Languages, 6, ICFP, pp. 254-282, 10.1145/3547630, https://doi.org/10.1145/3547630.

Jonathan Immanuel Brachthäuser, Springer eBooks, What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, pp. 15-43, 2022, 10.1007/978-3-030-83128-8_3.

Minh Nguyen;Roly Perera;Meng Wang;Nicolas Wu, 2022, Modular probabilistic models via algebraic effects, Proceedings of the ACM on Programming Languages, 6, ICFP, pp. 381-410, 10.1145/3547635, https://doi.org/10.1145/3547635.

Naoya Furudono;Youyou Cong;Hidehiko Masuhara;Daan Leijen, Lecture notes in computer science, Towards Efficient Adjustment of Effect Rows, pp. 169-191, 2022, 10.1007/978-3-031-21314-4_9.

Niccoló Veltri;Niels Voorneveld, Lecture notes in computer science, Streams of Approximations, Equivalence of Recursive Effectful Programs, pp. 198-221, 2022, 10.1007/978-3-031-16912-0_8.

Niels F. W. Voorneveld, Lecture notes in computer science, Runners for Interleaving Algebraic Effects, pp. 407-424, 2022, 10.1007/978-3-031-17715-6_26.

Ningning Xie;Youyou Cong;Kazuki Ikemori;Daan Leijen, 2022, First-class names for effect handlers, Proceedings of the ACM on Programming Languages, 6, OOPSLA2, pp. 30-59, 10.1145/3563289, https://doi.org/10.1145/3563289.

Zhixuan Yang;Marco Paviotti;Nicolas Wu;Birthe van den Berg;Tom Schrijvers, Lecture notes in computer science, Structured Handling of Scoped Effects, pp. 462-491, 2022, 10.1007/978-3-030-99336-8_17, https://doi.org/10.1007/978-3-030-99336-8_17.

Alex Reinking;Ningning Xie;Leonardo de Moura;Daan Leijen, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Perceus: garbage free reference counting with reuse, 2021, Virtual Canada, 10.1145/3453483.3454032.

Danel Ahman;Matija Pretnar, 2021, Asynchronous effects, Proceedings of the ACM on Programming Languages, 5, POPL, pp. 1-28, 10.1145/3434305, https://doi.org/10.1145/3434305.

Georgios Karachalias;Filip Koprivec;Matija Pretnar;Tom Schrijvers, 2021, Efficient compilation of algebraic effect handlers, Proceedings of the ACM on Programming Languages, 5, OOPSLA, pp. 1-28, 10.1145/3485479, https://doi.org/10.1145/3485479.

Jirka Maršík;Maxime Amblard;Philippe de Groote, 2021, Introducing ⦇ λ ⦈, a λ-calculus for effectful computation, Theoretical Computer Science, 869, pp. 108-155, 10.1016/j.tcs.2021.02.038, https://doi.org/10.1016/j.tcs.2021.02.038.

Martin Abadi;Gordon Plotkin, arXiv (Cornell University), Smart Choices and the Selection Monad, 2021, Rome, Italy, 10.1109/lics52264.2021.9470641, https://arxiv.org/abs/2007.08926.

Niccolò Veltri;Niels F.W. Voorneveld, 2021, Inductive and Coinductive Predicate Liftings for Effectful Programs, arXiv (Cornell University), 351, pp. 260-277, 10.4204/eptcs.351.16.

Nikita Zyuzin;Aleksandar Nanevski, 2021, Contextual modal types for algebraic effects and handlers, Proceedings of the ACM on Programming Languages, 5, ICFP, pp. 1-29, 10.1145/3473580, https://doi.org/10.1145/3473580.

Ningning Xie;Daan Leijen, 2021, Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C, Proceedings of the ACM on Programming Languages, 5, ICFP, pp. 1-30, 10.1145/3473576, https://doi.org/10.1145/3473576.

Paulo Emílio de Vilhena;François Pottier, 2021, A separation logic for effect handlers, Proceedings of the ACM on Programming Languages, 5, POPL, pp. 1-28, 10.1145/3434314, https://doi.org/10.1145/3434314.

Ryu Noguchi;Noriko Matsumoto;Norihiko Yoshida, 2021 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), Implementing Algebraic Effects and Handlers in Non-functional Programming Languages, pp. 1-6, 2021, Brisbane, Australia, 10.1109/csde53843.2021.9718480.

Zhixuan Yang;Nicolas Wu, 2021, Reasoning about effect interaction by fusion, Proceedings of the ACM on Programming Languages, 5, ICFP, pp. 1-29, 10.1145/3473578, https://doi.org/10.1145/3473578.

Burak Ekici;Cezary Kaliszyk, 2020, Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq, Mathematics in Computer Science, 14, 3, pp. 533-549, 10.1007/s11786-020-00450-8, https://doi.org/10.1007/s11786-020-00450-8.

DANIEL HILLERSTRÖM;SAM LINDLEY;ROBERT ATKEY, 2020, Effect handlers via generalised continuations, Journal of Functional Programming, 30, 10.1017/s0956796820000040, https://doi.org/10.1017/s0956796820000040.

Danel Ahman;Andrej Bauer, Lecture notes in computer science, Runners in Action, pp. 29-55, 2020, 10.1007/978-3-030-44914-8_2, https://doi.org/10.1007/978-3-030-44914-8_2.

Daniel Hillerström;Sam Lindley;John Longley, 2020, Effects for efficiency: asymptotic speedup with first-class control, Proceedings of the ACM on Programming Languages, 4, ICFP, pp. 1-29, 10.1145/3408982, https://doi.org/10.1145/3408982.

Dariusz Biernacki;Sergueï Lenglet;Piotr Polesiuk, A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers, 2020, 10.4230/lipics.fscd.2020.7, https://hal.inria.fr/hal-02559253.

GEORGIOS KARACHALIAS;MATIJA PRETNAR;AMR HANY SALEH;STIEN VANDERHALLEN;TOM SCHRIJVERS, 2020, Explicit effect subtyping, arXiv (Cornell University), 30, 10.1017/s0956796820000131, https://arxiv.org/abs/2005.13814.

Guannan Wei;Oliver Bračevac;Shangyin Tan;Tiark Rompf, 2020, Compiling symbolic execution with staging and algebraic effects, Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-33, 10.1145/3428232, https://doi.org/10.1145/3428232.

JONATHAN IMMANUEL BRACHTHÄUSER;PHILIPP SCHUSTER;KLAUS OSTERMANN, 2020, Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala, Journal of Functional Programming, 30, 10.1017/s0956796820000027, https://doi.org/10.1017/s0956796820000027.

Jonathan Immanuel Brachthäuser;Philipp Schuster;Klaus Ostermann, 2020, Effects as capabilities: effect handlers and lightweight effect polymorphism, Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-30, 10.1145/3428194, https://doi.org/10.1145/3428194.

LUKAS CONVENT;SAM LINDLEY;CONOR MCBRIDE;CRAIG MCLAUGHLIN, 2020, Doo bee doo bee doo, Journal of Functional Programming, 30, 10.1017/s0956796820000039, https://doi.org/10.1017/s0956796820000039.

Matthew Flatt;R. Kent Dybvig, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Compiler and runtime support for continuation marks, pp. 45-58, 2020, London UK, 10.1145/3385412.3385981.

Ningning Xie;Daan Leijen, Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Effect handlers in Haskell, evidently, pp. 95-108, 2020, Virtual Event USA, 10.1145/3406088.3409022.

Ningning Xie;Jonathan Immanuel Brachthäuser;Daniel Hillerström;Philipp Schuster;Daan Leijen, 2020, Effect handlers, evidently, Proceedings of the ACM on Programming Languages, 4, ICFP, pp. 1-29, 10.1145/3408981, https://doi.org/10.1145/3408981.

Philipp Schuster;Jonathan Immanuel Brachthäuser;Klaus Ostermann, 2020, Compiling effect handlers in capability-passing style, Proceedings of the ACM on Programming Languages, 4, ICFP, pp. 1-28, 10.1145/3408975, https://doi.org/10.1145/3408975.

Satoru Kawahara;Yukiyoshi Kameyama, Lecture notes in computer science, One-Shot Algebraic Effects as Coroutines, pp. 159-179, 2020, 10.1007/978-3-030-57761-2_8.

Satoshi Kura, Lecture notes in computer science, Graded Algebraic Theories, pp. 401-421, 2020, 10.1007/978-3-030-45231-5_21, https://doi.org/10.1007/978-3-030-45231-5_21.

Shin-ya Katsumata;Exequiel Rivas;Tarmo Uustalu, arXiv (Cornell University), Interaction Laws of Monads and Comonads, 26, pp. 604-618, 2020, Saarbrücken Germany, 10.1145/3373718.3394808, https://arxiv.org/abs/1912.13477.

Tarmo Uustalu;Niels Voorneveld, Opin vísindi (Opin vísindi), Algebraic and Coalgebraic Perspectives on Interaction Laws, pp. 186-205, 2020, 10.1007/978-3-030-64437-6_10, https://hdl.handle.net/20.500.11815/4001.

Taro Sekiyama;Takeshi Tsukada;Atsushi Igarashi, 2020, Signature restriction for polymorphic algebraic effects, Proceedings of the ACM on Programming Languages, 4, ICFP, pp. 1-30, 10.1145/3408999, https://doi.org/10.1145/3408999.

Yizhou Zhang;Guido Salvaneschi;Andrew C. Myers, 2020, Handling bidirectional control flow, Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-30, 10.1145/3428207, https://doi.org/10.1145/3428207.

ŽIGA LUKŠIČ;MATIJA PRETNAR, 2020, Local algebraic effect theories, arXiv (Cornell University), 30, 10.1017/s0956796819000212, https://arxiv.org/abs/2005.13654.

Alex Simpson;Niels Voorneveld, 2019, Behavioural Equivalence via Modalities for Algebraic Effects, ACM Transactions on Programming Languages and Systems, 42, 1, pp. 1-45, 10.1145/3363518, https://doi.org/10.1145/3363518.

Cristina Matache;Sam Staton, Lecture notes in computer science, A Sound and Complete Logic for Algebraic Effects, pp. 382-399, 2019, 10.1007/978-3-030-17127-8_22, https://doi.org/10.1007/978-3-030-17127-8_22.

Dariusz Biernacki;Maciej Piróg;Piotr Polesiuk;Filip Sieczkowski, 2019, Binders by day, labels by night: effect instances via lexically scoped handlers, Proceedings of the ACM on Programming Languages, 4, POPL, pp. 1-29, 10.1145/3371116, https://doi.org/10.1145/3371116.

Eneia Nicolae Todoran, 2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP), Continuation-Based Metric Semantics for Concurrency, pp. 551-559, 2019, Cluj-Napoca, Romania, 10.1109/iccp48234.2019.8959761.

Kenji Maillard;Danel Ahman;Robert Atkey;Guido Martínez;Cătălin Hriţcu;et al., 2019, Dijkstra monads for all, Proceedings of the ACM on Programming Languages, 3, ICFP, pp. 1-29, 10.1145/3341708, https://doi.org/10.1145/3341708.

Li-yao Xia;Yannick Zakowski;Paul He;Chung-Kil Hur;Gregory Malecha;et al., 2019, Interaction trees: representing recursive and impure programs in Coq, Proceedings of the ACM on Programming Languages, 4, POPL, pp. 1-32, 10.1145/3371119, https://doi.org/10.1145/3371119.

Simon Fowler;Sam Lindley;J. Garrett Morris;Sára Decova, 2019, Exceptional asynchronous session types: session types without tiers, Proceedings of the ACM on Programming Languages, 3, POPL, pp. 1-29, 10.1145/3290341, https://doi.org/10.1145/3290341.

Ugo Dal Lago;Francesco Gavazzo, Lecture notes in computer science, Effectful Normal Form Bisimulation, pp. 263-292, 2019, 10.1007/978-3-030-17184-1_10, https://doi.org/10.1007/978-3-030-17184-1_10.

Yizhou Zhang;Andrew C. Myers, 2019, Abstraction-safe effect handlers via tunneling, Proceedings of the ACM on Programming Languages, 3, POPL, pp. 1-29, 10.1145/3290318, https://doi.org/10.1145/3290318.

Amr Hany Saleh;Georgios Karachalias;Matija Pretnar;Tom Schrijvers, Lecture notes in computer science, Explicit Effect Subtyping, pp. 327-354, 2018, 10.1007/978-3-319-89884-1_12, https://doi.org/10.1007/978-3-319-89884-1_12.

Daan Leijen, Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers, 2018, St. Louis MO USA, 10.1145/3240719.3241789.

Daniel Hillerström;Sam Lindley, Edinburgh Research Explorer (University of Edinburgh), Shallow Effect Handlers, pp. 415-435, 2018, 10.1007/978-3-030-02768-1_22, http://hdl.handle.net/20.500.11820/068e28ef-5a21-458a-860d-dc42664f7e3d.

Gabriel Ciobanu;Eneia Nicolae Todoran, 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), On the Abstractness of Continuation Semantics, pp. 167-174, 2018, Timisoara, Romania, 10.1109/synasc.2018.00036.

Junia Gonçalves, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, Abstract nonsense, pp. 26-37, 2018, St. Louis MO USA, 10.1145/3242903.3242908.

Pablo Inostroza;Tijs van der Storm, Data Archiving and Networked Services (DANS), JEff: objects for effect, pp. 111-124, 2018, Boston MA USA, 10.1145/3276954.3276955, https://research.rug.nl/en/publications/cfc28014-995c-4789-9955-d4caf3abe902.

Samer Abdallah, 2018, PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control, International Journal of Approximate Reasoning, 103, pp. 364-382, 10.1016/j.ijar.2018.10.012.

Stephen Dolan;Spiros Eliopoulos;Daniel Hillerström;Anil Madhavapeddy;K. C. Sivaramakrishnan;et al., Apollo (University of Cambridge), Concurrent System Programming with Effect Handlers, pp. 98-117, 2018, 10.1007/978-3-319-89719-6_6, https://www.repository.cam.ac.uk/handle/1810/283239.

Daan Leijen, 2017, Type directed compilation of row-typed algebraic effects, ACM SIGPLAN Notices, 52, 1, pp. 486-499, 10.1145/3093333.3009872.

Daan Leijen, Lecture notes in computer science, Implementing Algebraic Effects in C, pp. 339-363, 2017, 10.1007/978-3-319-71237-6_17.

Daan Leijen, Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Structured asynchrony with algebraic effects, 2017, Oxford UK, 10.1145/3122975.3122977.

Danel Ahman, 2017, Handling fibred algebraic effects, Proceedings of the ACM on Programming Languages, 2, POPL, pp. 1-29, 10.1145/3158095, https://doi.org/10.1145/3158095.

Dariusz Biernacki;Maciej Piróg;Piotr Polesiuk;Filip Sieczkowski, 2017, Handle with care: relational interpretation of algebraic effects and handlers, Proceedings of the ACM on Programming Languages, 2, POPL, pp. 1-30, 10.1145/3158096, https://doi.org/10.1145/3158096.

MACIEJ PIRÓG;SAM STATON, 2017, Backtracking with cut via a distributive law and left-zero monoids, Oxford University Research Archive (ORA) (University of Oxford), 27, 10.1017/s0956796817000077, https://ora.ox.ac.uk/objects/uuid:24d512bd-4cd6-42ed-98c9-cba98a4bee98.

OHAD KAMMAR;MATIJA PRETNAR, 2017, No value restriction is needed for algebraic effects and handlers, arXiv (Cornell University), 27, 10.1017/s0956796816000320, https://arxiv.org/abs/1605.06938.

Sam Lindley;Conor McBride;Craig McLaughlin, 2017, Do be do be do, ACM SIGPLAN Notices, 52, 1, pp. 500-514, 10.1145/3093333.3009897.

AMR HANY SALEH;TOM SCHRIJVERS, 2016, Efficient algebraic effect handlers for Prolog, Lirias (KU Leuven), 16, 5-6, pp. 884-898, 10.1017/s147106841600034x, https://lirias.kuleuven.be/handle/123456789/564293.

Daan Leijen, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Type directed compilation of row-typed algebraic effects, 2016, Paris France, 10.1145/3009837.3009872.

Danel Ahman;Neil Ghani;Gordon D. Plotkin, Lecture notes in computer science, Dependent Types and Fibred Computational Effects, pp. 36-54, 2016, 10.1007/978-3-662-49630-5_3, https://doi.org/10.1007/978-3-662-49630-5_3.

Daniel Hillerström;Sam Lindley, Edinburgh Research Explorer (University of Edinburgh), Liberating effects with rows and handlers, 2016, Nara Japan, 10.1145/2976022.2976033, https://www.research.ed.ac.uk/en/publications/a55cafe9-5000-4b27-a887-baf7bf8ba5b1.

Leo Osvald;Grégory Essertel;Xilun Wu;Lilliam I. González Alayón;Tiark Rompf, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect, 2016, Amsterdam Netherlands, 10.1145/2983990.2984009.

Leo Osvald;Grégory Essertel;Xilun Wu;Lilliam I. González Alayón;Tiark Rompf, 2016, Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect, ACM SIGPLAN Notices, 51, 10, pp. 234-251, 10.1145/3022671.2984009, https://doi.org/10.1145/3022671.2984009.

Sam Lindley;Conor McBride;Craig McLaughlin, Edinburgh Research Explorer (University of Edinburgh), Do be do be do, 2016, Paris France, 10.1145/3009837.3009897, http://hdl.handle.net/20.500.11820/bd2598b0-20ce-4272-821f-985974bdd4f6.

BENOIT DESOUTER;MARKO VAN DOOREN;TOM SCHRIJVERS, 2015, Tabling as a library with delimited control, Theory and Practice of Logic Programming, 15, 4-5, pp. 419-433, 10.1017/s1471068415000137, https://doi.org/10.1017/s1471068415000137.

Chris Heunen;Martti Karvonen, 2015, Reversible Monadic Computing, Electronic Notes in Theoretical Computer Science, 319, pp. 217-237, 10.1016/j.entcs.2015.12.014, https://doi.org/10.1016/j.entcs.2015.12.014.

Ichiro Hasuo, 2015, Generic weakest precondition semantics from monads enriched with order, Theoretical Computer Science, 604, pp. 2-29, 10.1016/j.tcs.2015.03.047, https://doi.org/10.1016/j.tcs.2015.03.047.

Matija Pretnar, 2015, An Introduction to Algebraic Effects and Handlers. Invited tutorial paper, Electronic Notes in Theoretical Computer Science, 319, pp. 19-35, 10.1016/j.entcs.2015.12.003, https://doi.org/10.1016/j.entcs.2015.12.003.

Nicolas Wu;Tom Schrijvers, Lirias (KU Leuven), Fusion for Free, pp. 302-322, 2015, 10.1007/978-3-319-19797-5_15, https://lirias.kuleuven.be/handle/123456789/499979.

Sergey Goncharov;Christoph Rauch;Lutz Schröder, 2015, Unguarded Recursion on Coinductive Resumptions, Electronic Notes in Theoretical Computer Science, 319, pp. 183-198, 10.1016/j.entcs.2015.12.012, https://doi.org/10.1016/j.entcs.2015.12.012.

Tarmo Uustalu, 2015, Stateful Runners of Effectful Computations, Electronic Notes in Theoretical Computer Science, 319, pp. 403-421, 10.1016/j.entcs.2015.12.024, https://doi.org/10.1016/j.entcs.2015.12.024.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 4017 times.

This article's PDF has been downloaded 1098 times.