Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
https://github.com/yallop/effects-bibliography
algebraic-effects bibliography
Last synced: about 2 months ago
JSON representation
A collaborative bibliography of work related to the theory and practice of computational effects
- Host: GitHub
- URL: https://github.com/yallop/effects-bibliography
- Owner: yallop
- Created: 2016-03-17T16:13:31.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2024-04-15T18:48:43.000Z (5 months ago)
- Last Synced: 2024-05-12T11:36:31.243Z (4 months ago)
- Topics: algebraic-effects, bibliography
- Homepage:
- Size: 247 KB
- Stars: 915
- Watchers: 60
- Forks: 79
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- fucking-lists - effects-bibliography
- awesomelist - effects-bibliography
- awesome-list - effects-bibliography
- collection - effects-bibliography
- lists - effects-bibliography
README
# Effects bibliography
A collection of research papers and other resources related to the
theory and practice of computational effects.
## Instructions
* [Pull requests](https://github.com/yallop/effects-bibliography/pulls) welcome!
* You can [**edit the file directly**](https://github.com/yallop/effects-bibliography/edit/master/README.md) also.
* Keep the formatting consistent with the rest.
* End a line with a double space to force a line break.
## Software
See also the [Effects and handlers Rosetta
stone](https://github.com/effect-handlers/effects-rosetta-stone), a
comparison of how computational effects and handlers are implemented
in various programming languages.
* **Coop**: A prototype programming language for programming with runners
by Andrej Bauer and Danel Ahman
([GitHub](https://github.com/andrejbauer/coop))
* **Desk**: A statically-typed functional language with an effect system based on set-operation
by Ryo Hirayama from Hihaheho Studio
([GitHub](https://github.com/Hihaheho/Desk)) ([an effects tutorial article](https://github.com/Hihaheho/Desk/blob/main/docs/blog/0002-algebraic-effects.md))
* **Eff**: programming language with algebraic effects and handlers
by Andrej Bauer and Matija Pretnar
([www](http://www.eff-lang.org/))
* **Eff in F#**: A library for programming with algebraic effects in F#
by Nick Palladinos
([GitHub](https://github.com/palladin/Eff))
* **Effects.js**: algebraic effects for Javascript based on Koka and Eff
by Jason Butler
([GitHub](https://github.com/nythrox/effects.js))
* **Effekt Language**: A research language with effect handlers and lightweight effect polymorphism
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
([www](https://effekt-lang.github.io/effekt-website/))
* **EvEff**: A Haskell library for programming with evidence-translated effect handlers
by Daan Leijen and Ningning Xie
([GitHub](https://github.com/xnning/EvEff))
* **Extensible effects**: a Haskell library for effects
by Oleg Kiselyov
([hackage](https://hackage.haskell.org/package/extensible-effects))
([www](http://okmij.org/ftp/Haskell/extensible/))
* **F\***: an ML-like effectful dependently typed functional programming language aimed at program verification
by Microsoft Research and Inria
([www](https://fstar-lang.org))
* **Frank**: programming language with first-class handlers, invisible effect variables, and multihandlers
by Sam Lindley, Conor McBride, and Craig McLaughlin
([GitHub](https://github.com/frank-lang/frank))
* **Freak**: a programming language with coalgebraic effects and cohandlers
by Mateusz Urbańczyk
([GitHub](https://github.com/Tomatosoup97/freak))
* **Fused effects**: a Haskell library for effects
by Rob Rix
([hackage](https://hackage.haskell.org/package/fused-effects))
([GitHub](https://github.com/robrix/fused-effects))
* **Helium**: a functional programming language with effect handlers and an ML-like module system
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([BitBucket](https://bitbucket.org/pl-uwr/helium))
* **Idris Effects**: library for algebraic effects and handlers in Idris - inspired by Eff language
by Edwin Brady
([www](https://www.idris-lang.org/docs/current/effects_doc/))
([GitHub](https://github.com/idris-lang/Idris-dev))
* **Koka**: a function-oriented language with effect inference
by Daan Leijen
([GitHub](https://github.com/koka-lang/koka))
* **Links effect handlers**: an effect handlers extension for the Links web programming language
by Daniel Hillerström and Sam Lindley
([www](https://links-lang.org))
([GitHub](https://github.com/links-lang/links))
* **Multicore OCaml**: a multicore + effect handlers extension for OCaml
by Stephen Dolan, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White, and Jeremy Yallop
([GitHub](https://github.com/ocaml-multicore/ocaml-multicore/wiki))
(now incorporated into [OCaml 5+](https://github.com/ocaml/ocaml))
* **Polysemy**: a Haskell library for effects
by Sandy Maguire
([hackage](http://hackage.haskell.org/package/polysemy))
([GitHub](https://github.com/polysemy-research/polysemy))
* **Pyro**: a deep universal probabilistic programming language
by Uber AI Labs
([www](http://pyro.ai/))
* **Scala Effekt**: extensible algebraic effects with handlers in Scala
by Jonathan Brachthäuser
([GitHub](https://github.com/b-studios/scala-effekt))
* **Unison**: a programming language with effects called abilities, inspired by Frank
by Unison Computing
([www](https://www.unisonweb.org/docs/language-reference#abilities-and-ability-handlers))
([GitHub](https://github.com/unisonweb/unison))
* **WasmFXtime**: A fork of Wasmtime extended with support for effect handlers
by Luna Phipps-Costin, Frank Emrich, and Daniel Hillerström
([www](https://wasmfx.dev))
([GitHub](https://github.com/wasmfx/wasmfxtime))
* **Wasm/k**: WebAssembly, extended with support for first-class continuations
by Donald Pinckney
([www](https://wasmk.github.io/))
([GitHub](https://github.com/donald-pinckney/WasmContinuations))
* **Æff**: An interactive interpreter for asynchronous algebraic effects
by Matija Pretnar and Danel Ahman
([www](https://matija.pretnar.info/aeff/))
([GitHub](https://github.com/matijapretnar/aeff))
* **atnos-org/eff**: extensible effects for Cats in Scala
by Eric Torreborre
([www](http://atnos-org.github.io/eff/))
([GitHub](http://github.com/atnos-org/eff))
* **cpp-effects**: effect handlers in C++
by Maciej Piróg
([GitHub](https://github.com/maciejpirog/cpp-effects))
* **libhandler**: an implementation of algebraic effects and handlers in portable C99
by Daan Leijen
([GitHub](https://github.com/koka-lang/libhandler))
* **libmprompt**: robust multi-prompt delimited control and effect handlers in C/C++
by Daan Leijen
([GitHub](https://github.com/koka-lang/libmprompt))
* **effects**: An experimental C++ runtime effect system
by Michael Truog
([GitHub](https://github.com/okeuday/effects))
* **multicont**: continuations with multi-shot semantics in OCaml
by Daniel Hillerström
([GitHub](https://github.com/dhil/ocaml-multicont))
* **shonky**: a dynamically typed variant of Frank with C-like syntax
by Conor McBride
([GitHub](https://github.com/pigworker/shonky))
* **Turbolift**: algebraic effects for Scala 3
by Marcin Żebrowski
([www](https://marcinzh.github.io/turbolift/))
([GitHub](https://github.com/marcinzh/turbolift))
* **Enterprise**: library for creating HTTP services using algebraic effects and handlers (Turbolift)
by Marcin Żebrowski
([GitHub](https://github.com/marcinzh/enterprise))
## Tutorials
### 2022
* **Effect-Handler Oriented Programming** (lecture given at [SPLV](https://www.macs.hw.ac.uk/splv/splv-2022/))
by Sam Lindley
([YouTube](https://www.youtube.com/watch?v=G8XMRZKOhG0))
([slides](https://www.macs.hw.ac.uk/splv/wp-content/uploads/2022/07/ehop.pdf))
* **Effect handler oriented programming** (lecture series given at [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php#Lindley))
by Sam Lindley
(Videos: [1](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley1.mp4),
[2](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley2.mp4),
[3](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley3.mp4),
[4](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley4.mp4))
(Notes: [1](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/handlers.pdf),
[2](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/ehop.pdf),
[3](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/effexp.pdf),
[4](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/et.pdf))
### 2018
* **What is algebraic about algebraic effects and handlers?** (tutorial given at [Dagstuhl](https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18172) and [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php))
by Andrej Bauer
([pdf](https://arxiv.org/pdf/1807.05923))
(Videos: [1.1](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-1.mp4),
[1.2](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-2.mp4),
[1.3](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-3.mp4),
[2.1](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-1.mp4),
[2.2](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-2.mp4),
[2.3](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-3.mp4))
### 2017
* **Concurrent Programming with Effect Handlers** (tutorial given at [CUFP](http://cufp.org/2017/c3-daniel-hillerstrom-kc-concurrent-programming-with-effect-handlers.html))
by Daniel Hillerström and KC Sivaramakrishnan
([www](http://cufp.org/2017/c3-daniel-hillerstrom-kc-concurrent-programming-with-effect-handlers.html))
([GitHub](https://github.com/ocamllabs/ocaml-effects-tutorial))
### 2015
* **An Introduction to Algebraic Effects and Handlers** (MFPS 2015)
by Matija Pretnar
([dblp](http://dblp.uni-trier.de/rec/html/journals/entcs/Pretnar15))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/entcs/Pretnar15?view=bibtex))
([doi](http://dx.doi.org/10.1016/j.entcs.2015.12.003))
([pdf](http://www.eff-lang.org/handlers-tutorial.pdf))
## Papers
### 2024
* **Asymptotic speedup via effect handlers** (JFP 2024)
by Daniel Hillerström, Sam Lindley, and John Longley
([doi](https://doi.org/10.1017/S0956796824000030))
([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/296879DE2FD96FB6CF388F27978C76E4/S0956796824000030a.pdf/asymptotic-speedup-via-effect-handlers.pdf))
* **Active Objects Based on Algebraic Effects** (Active Object Languages: Current Research Trends)
by Martin Andrieux, Ludovic Henrio, and Gabriel Radanne
([doi](https://doi.org/10.1007/978-3-031-51060-1_1))
([pdf](https://hal.science/hal-04388798/document))
* **Soundly Handling Linearity** (POPL 2024)
by Wenhao Tang, Daniel Hillerström, Sam Lindley, and J. Garrett Morris
([doi](https://doi.org/10.1145/3632896))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3632896))
* **On Model-Checking Higher-Order Effectful Programs** (POPL 2024)
by Ugo Dal Lago and Alexis Ghyselen
([doi](https://doi.org/10.1145/3632929))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3632929))
([pdf (extended version)](https://arxiv.org/abs/2308.16542))
* **Effectful Software Contracts** (POPL 2024)
by Cameron Moy, Christos Dimoulas, and Matthias Felleisen
([doi](https://doi.org/10.1145/3632930))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3632930))
* **An Intrinsically Typed Compiler for Algebraic Effect Handlers** (PEPM 2024)
by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
([doi](https://doi.org/10.1145/3635800.3636968))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3635800.3636968))
### 2023
* **From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers** (OOPSLA 2023)
by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
([doi](https://doi.org/10.1145/3622831))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3622831))
* **Continuing WebAssembly with Effect Handlers** (OOPSLA 2023)
by Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
([doi](https://doi.org/10.1145/3622814))
([arxiv](https://doi.org/10.48550/arXiv.2308.08347))
* **Typed equivalence of labeled effect handlers and labeled delimited control operators** (PPDP 2023)
by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara
([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf))
([bibtex](https://dblp.org/rec/conf/ppdp/IkemoriCM23.html?view=bibtex))
* **Error Localization for Sequential Effect Systems** (SAS 2023)
by Colin S. Gordon, Chaewon Yun
([doi](https://doi.org/10.1007/978-3-031-44245-2_16))
* **A General Fine-Grained Reduction Theory for Effect Handlers** (ICFP 2023)
by Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
([doi](https://doi.org/10.1145/3607848))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3607848))
* **With or Without You: Programming with Effect Exclusion** (ICFP 2023)
by Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
([doi](https://doi.org/10.1145/3607846))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3607846))
* **Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects** (POPL 2023)
by Casper Bach Poulsen and Cas Van Der Rest
([doi](https://dl.acm.org/doi/abs/10.1145/3571255))
([pdf](http://casperbp.net/store/hefty-algebras.pdf))
* **Towards a Reflection for Effect Handlers** (PEPM 2023)
by Youyou Cong and Kenichi Asai
([doi](https://dl.acm.org/doi/abs/10.1145/3571786.3573015))
### 2022
* **Category-Graded Algebraic Theories and Effect Handlers** (MFPS 2022)
by Takahiro Sanada
([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/mfps2022-cat-graded-preproceedings-extended.pdf))
* **Modular probabilistic models via algebraic effects** (ICFP 2022)
by Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu
([pdf](https://dl.acm.org/doi/pdf/10.1145/3547635))
* **Automated Temporal Verification for Algebraic Effects** (APLAS 2022)
by Yahui Song, Darius Foo, and Wei-Ngan Chin
([pdf](https://www.comp.nus.edu.sg/~yahuis/APLAS2022.pdf))
* **An Algebraic Theory for Shared-State Concurrency** (APLAS 2022)
by Yotam Dvir, Ohad Kammar, and Ori Lahav
([pdf](https://www.cs.tau.ac.il/~orilahav/papers/aplas22full.pdf))
* **First-class Names for Effect Handlers** (OOPSLA 2022)
by Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
([pdf](https://xnning.github.io/papers/oopsla22namedh.pdf))
* **High-level effect handlers in C++** (OOPSLA 2022)
by Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/cppeff.pdf))
* **Algebraic effects for extensible dynamic semantics** (Journal of Logic, Language and Information)
by Julian Grove and Jean-Philippe Bernardy
([pdf](https://semanticsarchive.net/Archive/TMxNGE3M/algebraic.pdf))
* **A Typed Continuation-Passing Translation for Lexical Effect Handlers** (PLDI 2022)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
([doi](https://doi.org/10.1145/3519939.3523710))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3519939.3523710))
* **Structured Handling of Scoped Effects** (ESOP 2022)
by Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, and Tom Schrijvers
([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf))
([pdf (extended version)](https://arxiv.org/pdf/2201.10287.pdf))
* **Effects, Capabilities, and Boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back** (OOPSLA 2022)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki
([pdf](https://dl.acm.org/doi/pdf/10.1145/3527320))
### 2021
* **Efficient Compilation of Algebraic Effect Handlers** (OOPSLA 2021)
by Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
([doi](https://doi.org/10.1145/3485479))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3485479))
* **Latent Effects for Resuable Language Components** (APLAS 2021)
by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu
([doi](https://doi.org/10.1007/978-3-030-89051-3_11))
([arxiv](https://arxiv.org/abs/2108.11155))
([pdf (extended version)](https://arxiv.org/pdf/2108.11155.pdf))
* **Composing UNIX with Effect Handlers** (ML Workshop 2021)
by Daniel Hillerström
([pdf](https://dhil.net/research/papers/unix-ml2021.pdf))
* **Safe mutation with algebraic effects** (Haskell 2021)
by Hashan Punchihewa and Nicolas Wu
([doi](https://doi.org/10.1145/3471874.3472988))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3471874.3472988))
* **Contextual Modal Types for Algebraic Effects and Handlers** (ICFP 2021)
by Nikita Zyuzin and Aleksandar Nanevski
([doi](https://doi.org/10.1145/3473580))
([pdf](https://software.imdea.org/~aleks/icfp21/icfp21.pdf))
* **Reasoning about Effect Interaction by Fusion** (ICFP 2021)
by Zhixuan Yang and Nicolas Wu
([doi](https://doi.org/10.1145/3473578))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3473578))
([extended pdf](https://yangzhixuan.github.io/pdf/fused-reasoning-appendices.pdf))
* **Generalized Evidence Passing for Effect Handlers** (ICFP 2021)
by Ningning Xie and Daan Leijen
([doi](https://doi.org/10.1145/3473576))
([pdf](https://xnning.github.io/papers/multip.pdf))
* **A Functional Abstraction of Typed Invocation Contexts** (FSCD 2021)
by Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai
([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14250/pdf/LIPIcs-FSCD-2021-12.pdf))
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.12))
* **Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators** (FSCD 2021)
by Maika Fujii and Kenichi Asai
([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14254/pdf/LIPIcs-FSCD-2021-16.pdf))
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.16))
* **Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)** (TyDe 2021)
by Kazuki Niimi, Youyou Cong, and Jonathan Immanuel Brachthäuser
([pdf](https://prg.is.titech.ac.jp/papers/pdf/tyde2021.pdf))
* **Formalising Algebraic Effects with Non-Recoverable Failure** (HOPE 2021)
by Timotej Tomandl and Dominic Orchard
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/timo-hope21.pdf))
* **First-class Named Handlers** (HOPE 2021)
by Ningning Xie, Youyou Cong, and Daan Leijen
([pdf](https://researchmap.jp/youyoucong/presentations/32929533/attachment_file.pdf))
* **Higher-Order Asynchronous Effects** (HOPE 2021)
by Danel Ahman, Matija Pretnar, and Janez Radešček
([pdf](https://danel.ahman.ee/papers/hope21.pdf))
* **Handler Calculus** (HOPE 2021)
by Sam Lindley
([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/handler-calculus-draft-may2021.pdf))
* **Retrofitting Effect Handlers onto OCaml** (PLDI 2021)
by KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
([arxiv](https://arxiv.org/abs/2104.00250))
([pdf](https://arxiv.org/pdf/2104.00250.pdf))
* **Polymorphic Iterable Sequential Effect Systems** (TOPLAS 2021)
by Colin S. Gordon
([doi](https://doi.org/10.1145/3450272))
([arxiv](https://arxiv.org/abs/1808.02010))
* **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021)
by Jesse Sigal
([arxiv](https://arxiv.org/abs/2101.08095))
* **Staged Effects and Handlers for Modular Languages with Abstraction** (PEPM 2021)
by Casper Bach Poulsen, Cas van der Rest, and Tom Schrijvers
([pdf](https://casvdrest.github.io/staged-effects.agda/pepm21.pdf))
* **A Separation Logic for Effect Handlers** (POPL 2021)
by Paulo Emílio de Vilhena and François Pottier
([pdf](https://inria.hal.science/hal-03049514v1/document))
* **Asynchronous Effects** (POPL 2021)
by Danel Ahman and Matija Pretnar
([arxiv](https://arxiv.org/abs/2003.02110))
([doi](https://doi.org/10.1145/3434305))
([pdf](https://arxiv.org/pdf/2003.02110.pdf))
### 2020
* **Graded Algebraic Theories** (FoSSaCS 2020)
by Satoshi Kura
([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-45231-5_21.pdf))
* **Modular verification of programs with effects and effects handlers** (FAOC 2020)
by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet
([doi](https://dx.doi.org/10.1007/s00165-020-00523-2))
* **Not by equations alone: reasoning with extensible effects** (JFP 2020)
by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry
([pdf](https://www.okmij.org/ftp/Haskell/extensible/denot.pdf))
* **Automatic Reparameterisation of Probabilistic Programs** (ICML 2020)
by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman
([pdf](http://proceedings.mlr.press/v119/gorinova20a/gorinova20a.pdf))
* **Compiling Symbolic Execution with Staging and Algebraic Effects** (OOPSLA 2020)
by Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf
([doi](https://doi.org/10.1145/3428232))
([pdf](https://bracevac.org/assets/pdf/oopsla20.pdf))
* **Composing Effects into Tasks and Workflows** (Haskell 2020)
by Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
([doi](https://doi.org/10.1145/3410242))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3406088.3409023))
* **Handling Bidirectional Control Flow** (OOPSLA 2020)
Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers
([pdf](https://www.cs.cornell.edu/andru/papers/ufo/bidirectional-effects.pdf))
* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants** (ECOOP 2020)
by Colin S. Gordon
([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.10))
([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.10/LIPIcs.ECOOP.2020.10.pdf))
* **Lifting Sequential Effects to Control Operators** (ECOOP 2020)
by Colin S. Gordon
([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.23))
([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.23/LIPIcs.ECOOP.2020.23.pdf))
* **Degrading Lists** (PPDP 2020)
by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu
([doi](https://doi.org/10.1145/3414080.3414084))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3414080.3414084))
* **Wasm/k: Delimited Continuations for WebAssembly** (DLS 2020)
by Donald Pinckney, Arjun Guha, and Yuriy Brun
([pdf](https://wasmk.github.io/FullVersion.pdf))
* **A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers** (FSCD 2020)
by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2020.7))
([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12329/pdf/LIPIcs-FSCD-2020-7.pdf))
* **A Reflection on Continuation-Composing Style** (FSCD 2020)
by Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2020.18))
([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12340/pdf/LIPIcs-FSCD-2020-18.pdf))
* **Effect Handlers in Haskell, Evidently** (Haskell 2020)
by Ningning Xie and Daan Leijen
([pdf](https://www.microsoft.com/en-us/research/uploads/prod/2020/07/effev.pdf))
* **Effects as capabilities: effect handlers and lightweight effect polymorphism** (OOPSLA 2020)
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
([doi](https://doi.org/10.1145/3428194))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3428194))
* **One-shot Algebraic Effects as Coroutines** (TFP 2020)
by Satoru Kawahara and Yukiyoshi Kameyama
([doi](https://doi.org/10.1007/978-3-030-57761-2_8))
([pdf](http://logic.cs.tsukuba.ac.jp/~sat/pdf/tfp2020.pdf))
* **Generalized Monoidal Effects And Handlers** (JFP 2020)
by Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers
([pdf](https://rubenpieters.github.io/assets/papers/JFP20-handlers.pdf))
* **Signature restriction for polymorphic algebraic effects** (ICFP 2020)
by Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi
([pdf](https://arxiv.org/pdf/2003.08138))
* **Effects for Efficiency: Asymptotic Speedup with First-Class Control** (ICFP 2020)
by Daniel Hillerström, Sam Lindley, and John Longley
([arxiv](https://arxiv.org/abs/2007.00605))
* **Effect Handlers, Evidently** (ICFP 2020)
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
([pdf](https://www.dhil.net/research/papers/effect_handlers_evidently-extended-icfp2020.pdf))
* **Compiling Effect Handlers in Capability-Passing Style** (ICFP 2020)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
([doi](https://doi.org/10.1145/3408975))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3408975))
* **Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala** (JFP 2020)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A19680B18FB74AD95F8D83BC4B097D4F/S0956796820000027a.pdf/effekt_capabilitypassing_style_for_type_and_effectsafe_extensible_effect_handlers_in_scala.pdf))
* **Doo bee doo bee doo** (JFP 2020)
by Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/frankly-jfp.pdf))
* **Effect handlers via generalised continuations** (JFP 2020)
by Daniel Hillerström, Sam Lindley, and Robert Atkey
([pdf](https://dhil.net/research/papers/generalised_continuations-jfp2020.pdf))
* **Runners in action** (ESOP 2020)
by Danel Ahman and Andrej Bauer
([arxiv](https://arxiv.org/pdf/1910.11629.pdf))
* **Interaction Trees: Representing Recursive and Impure Programs in Coq** (POPL 2020)
by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
([pdf](https://dl.acm.org/doi/pdf/10.1145/3371119?download=true))
* **Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers** (POPL 2020)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([pdf](https://maciejpirog.github.io/papers/binders-labels.pdf))
* **Combining predicate transformer semantics for effects: a case study in parsing regular languages** (MSFP 2020)
by Anne Baanen and Wouter Swierstra
([pdf](https://arxiv.org/pdf/2005.00197v1.pdf))
* **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020)
by Niels Voorneveld
([pdf](https://arxiv.org/pdf/2005.00196.pdf))
* **Unifying graded and parameterised monads** (MSFP 2020)
by Dominic Orchard, Philip Wadler and Harley Eades III
([pdf](https://arxiv.org/pdf/2001.10274.pdf))
* **Local Algebraic Effect Theories** (JFP 2020)
by Žiga Lukšič and Matija Pretnar
([doi](https://doi.org/10.1017/S0956796819000212)) ([arxiv](https://arxiv.org/abs/2005.13654))
* **Explicit Effect Subtyping** (JFP 2020)
by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen and Tom Schrijvers
([arxiv](https://arxiv.org/abs/2005.13814))
* **The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects** (POPL 2020)
by Pierre-Marie Pédrot and Nicolas Tabareau
([pdf](https://dl.acm.org/doi/pdf/10.1145/3371126))
### 2019
* **A Sound and Complete Logic for Algebraic Effects** (FoSSaCS 2019)
by Cristina Matache and Sam Staton
([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/fossacs-2019.pdf))
* **On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control** (JFP, ICFP 2017 special issue)
by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/effmondel-jfp.pdf))
* **Dijkstra Monads for All** (ICFP 2019)
by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas and Éric Tanter
([pdf](https://arxiv.org/abs/1903.01237))
* **A predicate transformer semantics for effects (Functional Pearl)** (ICFP 2020)
by Wouter Swierstra and Anne Baanen
([pdf](https://dl.acm.org/doi/pdf/10.1145/3341707?download=true))
* **Monad transformers and modular algebraic effects: What binds them together** (Haskell 2019)
by Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
([pdf](https://maciejpirog.github.io/papers/what-binds-them-together.pdf))
* **A Hierarchy of Monadic Effects for Program Verification using Equational Reasoning** (MPC 2019)
by Reynald Affeldt, David Nowak, and Takafumi Saikawa
([pdf](https://hal.science/hal-02359796v1/preview/monae.pdf)) ([GitHub](https://github.com/affeldt-aist/monae))
* **Handling Local State with Global State** (MPC 2019)
by Koen Pauwels, Tom Schrijvers, and Shin-Cheng Mu
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2019.pdf))
* **Bisimulations for Delimited-Control Operators** (LMCS 2019)
by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
([pdf](https://lmcs.episciences.org/5508/pdf))
* **Typed equivalence of effect handlers and delimited control** (FSCD 2019)
Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([pdf](https://maciejpirog.github.io/papers/typed-equivalence-fscd2019.pdf))
* **Handling Polymorphic Algebraic Effects** (ESOP 2019)
Taro Sekiyama and Atsushi Igarashi
([arxiv](https://arxiv.org/pdf/1811.07332))
* **Extended call-by-push-value: reasoning about effectful programs and evaluation order** (ESOP 2019)
by Dylan McDermott and Alan Mycroft
([pdf](https://www.cl.cam.ac.uk/~dm606/extended-call-by-push-value.pdf))
* **Abstracting Algebraic Effects** (POPL 2019)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([pdf](https://maciejpirog.github.io/papers/biernacki-al-popl19.pdf))
* **Abstraction-Safe Effect Handlers via Tunneling** (POPL 2019)
by Yizhou Zhang and Andrew Myers
([technical report](https://ecommons.cornell.edu/handle/1813/60202))
* **Behavioural Equivalence via Modalities for Algebraic Effects** (TOPLAS 2019)
by Alex Simpson and Niels Voorneveld
([pdf](https://dl.acm.org/doi/pdf/10.1145/3363518))
### 2018
* **Behavioural Equivalence via Modalities for Algebraic Effects** (ESOP 2018)
by Alex Simpson and Niels Voorneveld
([pdf](https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1.pdf))
* **Call-by-need effects via coeffects** (Open Computer Science 2018)
by Dylan McDermott and Alan Mycroft
([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf))
* **Pyro: Deep Universal Probabilistic Programming**
by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman
([arvix](https://arxiv.org/abs/1810.09538))
* **Automatic Reparameterisation in Probabilistic Programming** (AABI 2018)
by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman
([pdf](http://approximateinference.org/2018/accepted/GorinovaEtAl2018.pdf))
* **Effect Handling for Composable Program Transformations in Edward2** (PROBPROG 2018)
by Dave Moore and Maria I. Gorinova
([arvix](https://arxiv.org/abs/1811.06150))
* **Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics** (MFPS 2018)
by Ohad Kammar and Dylan McDermott
([doi](https://doi.org/10.1016/j.entcs.2018.11.012))
* **Functional Programming for Modular Bayesian Inference** (ICFP 2018)
by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
([pdf](https://api.repository.cam.ac.uk/server/api/core/bitstreams/36a3c9ad-9633-4e69-a96f-fd76d1d49ccd/content))
* **JEff: Objects for Effect** (Onward 2018)
by Pablo Inostroza and Tijs van der Storm
([pdf](https://homepages.cwi.nl/~storm/publications/jeff.pdf))
* **Effect Handlers for the Masses** (OOPSLA 2018)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
([pdf](https://dl.acm.org/doi/pdf/10.1145/3276481))
* **Abstract Nonsense** (FARM 2018)
by Junia Gonçalves
([doi](https://doi.org/10.1145/3242903.3242908))
* **Syntax and Semantics for Operations with Scopes** (LICS 2018)
by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/lics2018.pdf))
* **First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers** (TyDe 2018)
by Daan Leijen
([doi](https://doi.org/10.1145/3240719.3241789))
* **Algebraic Effect Handlers with Resources and Deep Finalization** (MSR technical report)
by Daan Leijen
([pdf](https://www.microsoft.com/en-us/research/uploads/prod/2018/04/resource-v1.pdf))
* **Shallow Effect Handlers** (APLAS 2018)
by Daniel Hillerström and Sam Lindley
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/shallow-extended.pdf))
* **Versatile Event Correlation with Algebraic Effects** (ICFP 2018)
by Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
([pdf](https://programming-group.com/assets/pdf/papers/2018-Versatile-event-correlation-with-algebraic-effects.pdf))
* **Modular Verification of Programs with Effects and Effect Handlers in Coq** (FM 2018)
by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet
([metadata](https://hal.inria.fr/hal-01799712))
([pdf](https://hal.inria.fr/hal-01799712/document))
* **Explicit Effect Subtyping** (ESOP 2018)
by Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers
([pdf](https://lirias.kuleuven.be/bitstream/123456789/618119/1/esop18-final71.pdf))
([pdf with appendix](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/esop2018.pdf))
([technical report/extended version](https://lirias.kuleuven.be/bitstream/123456789/616205/1/CW711.pdf))
* **Handle with Care: Relational Interpretation of Algebraic Effects and Handlers** (POPL 2018)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([pdf](https://bitbucket.org/pl-uwr/aleff-logrel/downloads/popl18e.pdf))
([Coq formalisation](https://bitbucket.org/pl-uwr/aleff-logrel))
* **Handling fibred algebraic effects** (POPL 2018)
by Danel Ahman
([pdf](https://danelahman.github.io/papers/popl18.pdf))
### 2017
* **Staged Generic Programming** (ICFP 2017)
by Jeremy Yallop
([pdf](https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf))
* **Concurrent System Programming with Effect Handlers** (TFP 2017)
by Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
([pdf](http://kcsrk.info/papers/system_effects_feb_18.pdf))
* **Handlers for Non-Monadic Computations** (IFL 2017)
by Ruben P. Pieters, Tom Schrijvers, and Exequiel Rivas
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2017_post.pdf)) ([technical report/extended version](https://lirias.kuleuven.be/bitstream/123456789/617988/1/CW713.pdf))
* **Effekt: Extensible Algebraic Effects in Scala** (Scala 2017)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
* **Efficient Compilation of Algebraic Effects and Handlers**
by Matija Pretnar, Amr Hany Saleh, Axel Faes, and Tom Schrijvers
([technical report](http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW708.pdf))
* **Structured asynchrony with algebraic effects** (TyDe 2017)
by Daan Leijen
([OpenTOC](http://www.sigplan.org/OpenTOC/tyde17.html))
([technical report](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/asynceffects-msr-tr-2017-21.pdf))
* **Implementing Algebraic Effects in C (or "Monads for Free in C")** (APLAS 2017)
by Daan Leijen
([technical report](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf))
([GitHub](https://github.com/koka-lang/libhandler))
* **Continuation Passing Style for Effect Handlers** (FSCD 2017)
by Daniel Hillerström, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/handlers-cps.pdf))
* **On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control** (ICFP 2017)
by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
([arxiv](https://arxiv.org/pdf/1610.09161))
* **A Generic Approach to Flow-Sensitive Polymorphic Effects** (ECOOP 2017)
by Colin S. Gordon
([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2017.13))
([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol074-ecoop2017/LIPIcs.ECOOP.2017.13/LIPIcs.ECOOP.2017.13.pdf))
* **Do be do be do** (POPL 2017)
by Sam Lindley, Conor McBride, and Craig McLaughlin
([dblp](http://dblp.uni-trier.de/rec/html/conf/popl/LindleyMM17))
([bibtex](http://dblp.uni-trier.de/rec/html/conf/popl/LindleyMM17?view=bibtex))
([arxiv](https://arxiv.org/pdf/1611.09259))
* **Type directed compilation of row-typed algebraic effects** (POPL 2017)
by Daan Leijen
([dblp](http://dblp.uni-trier.de/rec/html/conf/popl/Leijen17))
([bibtex](http://dblp.uni-trier.de/rec/html/conf/popl/Leijen17?view=bibtex))
* **No value restriction is needed for algebraic effects and handlers** (J. Funct. Program. 2017)
by Ohad Kammar and Matija Pretnar
([dblp](http://dblp.uni-trier.de/rec/html/journals/jfp/KammarP17))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/jfp/KammarP17?view=bibtex))
([arxiv](https://arxiv.org/pdf/1605.06938))
### 2016
* **Combining Effects and Coeffects via Grading** (ICFP 2016)
by Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, and Tarmo Uustalu
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/combining-effects-and-coeffects-icfp16.pdf))
* **Effects as Sessions, Sessions as Effects** (POPL 2016)
by Dominic Orchard and Nobuko Yoshida
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/popl16-orchard-yoshida.pdf))
* **Effect Systems Revisited -- Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016)
by Alan Mycroft, Dominic Orchard, and Tomas Petricek
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/effects-revisited.pdf))
* **Efficient Algebraic Effect Handlers for Prolog** (TPLP/ICLP 2016)
by Amr Hany Saleh and Tom Schrijvers
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/iclp2016a.pdf))
* **Eff Directly in OCaml** (ML Workshop 2016)
by Oleg Kiselyov and KC Sivaramakrishnan
([pdf](http://kcsrk.info/papers/caml-eff17.pdf)) ([extended abstract](http://kcsrk.info/papers/eff_ocaml_ml16.pdf))
* **Compiling Links Effect Handlers to the OCaml Backend** (ML Workshop 2016)
by Daniel Hillerström, Sam Lindley, and KC Sivaramakrishnan
([pdf](http://kcsrk.info/papers/links_ocaml_ml16.pdf))
* **Liberating effects with rows and handlers** (TyDe 2016)
by Daniel Hillerström and Sam Lindley
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf))
([dblp](http://dblp.uni-trier.de/rec/html/conf/icfp/HillerstromL16))
([bibtex](http://dblp.uni-trier.de/rec/html/conf/icfp/HillerstromL16?view=bibtex))
* **Dependent Types and Fibred Computational Effects** (FoSSaCS 2016)
by Danel Ahman, Neil Ghani, and Gordon Plotkin
([pdf](https://danelahman.github.io/papers/fossacs16.pdf))
([dblp](http://dblp.org/rec/conf/fossacs/AhmanGP16))
([bibtex](http://dblp.org/rec/conf/fossacs/AhmanGP16?view=bibtex))
* **From Monads to Effects and Back** (PADL 2016)
by Niki Vazou and Daan Leijen
([pdf](http://goto.ucsd.edu/~nvazou/koka/padl16.pdf))
### 2015
* **Algebraic Effects, Linearity, and Quantum Programming Languages** (POPL 2015)
by Sam Staton
([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/popl2015.pdf))
* **Effective Concurrency with Algebraic Effects** (OCaml Workshop 2015)
by Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy
([pdf](http://kcsrk.info/papers/effects_ocaml15.pdf))
* **Fixing Non-determinism** (IFL 2015)
by Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2015_post.pdf))
* **Customizable Gradual Polymorphic Effects for Scala** (OOPSLA 2015)
by Matias Toro and Eric Tanter
([doi](http://doi.acm.org/10.1145/2814270.2814315))
* **Freer monads, more extensible effects** (Haskell 2015)
by Oleg Kiselyov and Hiromi Ishii
([pdf](http://okmij.org/ftp/Haskell/extensible/more.pdf))
* **Programming with Algebraic Effects and Handlers** (JLAMP 2015)
by Andrej Bauer and Matija Pretnar
([arxiv](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf))
([dblp](http://dblp.uni-trier.de/rec/html/journals/jlp/BauerP15))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/jlp/BauerP15?view=bibtex))
([doi](http://dx.doi.org/10.1016/j.jlamp.2014.02.001))
* **Fusion for Free: Efficient Algebraic Effect Handlers** (MPC 2015)
by Nicolas Wu and Tom Schrijvers
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2015.pdf))
* **Interleaving data and effects** (JFP 2015)
by Robert Atkey and Patricia Johann
([dblp](http://dblp.uni-trier.de/rec/html/journals/jfp/AtkeyJ15))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/jfp/AtkeyJ15?view=bibtex))
([doi](http://dx.doi.org/10.1017/S0956796815000209))
([pdf](http://bentnib.org/interleaving.pdf))
* **Stateful Runners of Effectful Computations**
by Tarmo Uustalu
([doi](https://doi.org/10.1016/j.entcs.2015.12.024))
### 2014
* **Algebraic Effects and Handlers in Natural Language Interpretation** (NLCS 2014)
by Jiří Maršík and Maxime Amblard
([pdf](https://hal.inria.fr/hal-01079206/document))
* **Algebraic effects and effect handlers for idioms and arrows** (WGP 2014)
by Sam Lindley
([dblp](http://dblp.uni-trier.de/rec/html/conf/icfp/Lindley14))
([bibtex](http://dblp.uni-trier.de/rec/html/conf/icfp/Lindley14?view=bibtex))
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/aeia.pdf))
* **A Theory of Gradual Effect Systems** (ICFP 2014)
by Felipe Banados Schwerter, Ronald Garcia and Eric Tanter
([doi](http://doi.acm.org/10.1145/2628136.2628149))
* **Effect handlers in scope** (Haskell 2014)
by Nicolas Wu, Tom Schrijvers and Ralf Hinze
([pdf](http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf))
* **Embedding effect systems in Haskell** (Haskell 2014)
by Dominic Orchard and Tomas Petricek
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/haskell14-effects.pdf))
* **The semantic marriage of monads and effects (extended abstract)** (Unpublished, 2014)
by Dominic Orchard, Tomas Petricek and Alan Mycroft
([pdf](https://arxiv.org/pdf/1401.5391.pdf))
* **Inferring algebraic effects** (LMCS 2014)
by Matija Pretnar
([arxiv](http://arxiv.org/pdf/1312.2334.pdf))
([dblp](http://dblp.uni-trier.de/rec/html/journals/corr/Pretnar13))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/corr/Pretnar13?view=bibtex))
([doi](http://dx.doi.org/10.2168/LMCS-10%283:21%292014))
* **An Effect System for Algebraic Effects and Handlers** (LMCS 2014)
by Andrej Bauer and Matija Pretnar
([arxiv](http://arxiv.org/pdf/1306.6316.pdf))
([dblp](http://dblp.uni-trier.de/rec/html/journals/corr/BauerP13))
([bibtex](http://dblp.uni-trier.de/rec/html/journals/corr/BauerP13?view=bibtex))
([doi](http://dx.doi.org/10.2168/LMCS-10%284:9%292014))
* **Parametric Effect Monads and Semantics of Effect Systems** (POPL 2014)
by Shin-ya Katsumata
([doi](https://doi.org/10.1145/2535838.2535846))
### 2013
* **Programming and reasoning with algebraic effects and dependent types** (ICFP 2013)
by Edwin Brady
([pdf](https://www.type-driven.org.uk/edwinb/papers/effects.pdf))
* **The constrained-monad problem** (ICFP 2013)
by Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill
([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf))
* **Handlers in action** (ICFP 2013)
by Ohad Kammar, Sam Lindley and Nicolas Oury
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf)) ([GitHub](https://github.com/slindley/effect-handlers))
* **Extensible effects: an alternative to monad transformers** (Haskell 2013)
by Oleg Kiselyov, Amr Sabry and Cameron Swords
([pdf](https://www.cs.indiana.edu/~sabry/papers/exteff.pdf))
* **JavaUI: Effects for UI Object Access** (ECOOP 2013)
by Colin S. Gordon, Werner Dietl, Michael D. Ernst and Dan Grossman
([dblp](http://dblp.uni-trier.de/rec/html/conf/ecoop/GordonDEG13))
([doi](http://dx.doi.org/10.1007/978-3-642-39038-8_8))
([pdf](https://www.cs.drexel.edu/~csgordon/papers/ecoop13.pdf))
* **Handling algebraic effects** (LMCS 2013)
by Gordon Plotkin and Matija Pretnar
([arxiv](http://arxiv.org/abs/1312.1399))
([dblp](http://dblp.org/rec/journals/corr/PlotkinP13))
([bibtex](http://dblp.org/rec/journals/corr/PlotkinP13?view=bibtex))
([doi](http://dx.doi.org/10.2168/LMCS-9%284:23%292013))
* **Normalization by Evaluation and Algebraic Effects** (MFPS 2013)
by Danel Ahman and Sam Staton
([doi](https://doi.org/10.1016/j.entcs.2013.09.007))
([pdf](https://danel.ahman.ee/papers/mfps13.pdf))
* **The Sequential Semantics of Producer Effect Systems** (POPL 2013)
by Ross Tate
([doi](https://doi.org/10.1145/2429069.2429074))
### 2012
* **Lighweight Polymorphic Effects** (ECOOP 2012)
by Lukas Rytz, Martin Odersky and Philipp Haller
([doi](http://dx.doi.org/10.1007/978-3-642-31057-7_13))
* **The Frank Manual** (2012)
by Conor McBride
([www](https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/))
* **Control.Effects** (2012)
by Sjoerd Visscher
* **Koka: A Language with Row-Polymorphic Effect Inference** (HOPE 2012)
by Daan Leijen
### 2011
* **Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous** (ENTCS 2011)
by Sam Lindley, Philip Wadler and Jeremy Yallop
* **Lightweight Monadic Programming in ML** (ICFP 2011)
by Nikhil Swamy, Nataliya Guts, Daan Leijen and Michael Hicks
([pdf](http://www.cs.umd.edu/~mwh/papers/monadic.pdf))
* **Monads, zippers and views: virtualizing the monad stack** (ICFP 2011)
by Tom Schrijvers and Bruno C.d.S. Oliveira
* **Just Do It: Simple Monadic Equational Reasoning** (ICFP 2011)
by Jeremy Gibbons and Ralf Hinze
### 2010
* **Monad transformers as monoid transformers** (Theor. Comp. Science 2010)
by Mauro Jaskelioff and Eugenio Moggi
* **The Operational Monad Tutorial** (The Monad Reader, 2010)
by Heinrich Apfelmus
### 2009
* **Handlers of Algebraic Effects** (ESOP 2009)
by Gordon Plotkin and Matija Pretnar
([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Effect_Handlers.pdf))
* **Parameterised Notions of Computation** (JFP 2009)
by Robert Atkey
([pdf](http://bentnib.org/paramnotions-jfp.pdf))
* **Algebras for Parameterised Monads** (CALCO 2009)
by Robert Atkey
([pdf](http://bentnib.org/algebras-param-monads.pdf))
### 2008
* **Lightweight Monadic Regions** (Haskell 2008)
by Oleg Kiselyov and Chung-chieh Shan
* **A Logic for Algebraic Effects** (LICS 2008)
by Gordon Plotkin and Matija Pretnar
([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf))
* **What is a Categorical Model of Arrows?** (MSFP 2008)
by Robert Atkey
([pdf](http://bentnib.org/arrows.pdf))
* **Data types a la carte** (JFP 2008)
by Wouter Swierstra
([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf))
* **Types and trace effects of higher-order programs** (JFP 2008)
by Christian Skalka, Scott Smith, and David van Horn
([doi](https://doi.org/10.1017/S0956796807006466))
### 2007
* **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007)
by Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
### 2006
* **Programming Monads Operationally with Unimo** (ICFP 2006)
by Chuan-kai Lin
* **Monadic Regions** (JFP 2006)
by Matthew Fluet and J. Gregory Morrisett
### 2003
* **A Monadic Multi-stage Metalanguage** (FOSSACS 2003)
by Eugenio Moggi and Sonia Fagorzi
([pdf](http://www.disi.unige.it/person/MoggiE/ftp/fossacs03.pdf))
* **Algebraic Operations and Generic Effects** (Applied categorical structures, 2003)
by Gordon D. Plotkin and John Power
([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf))
* **The Marriage of Effects and Monads** (Trans. Comp. Logic, 2003)
by Philip Wadler and Peter Thiemann
### 2002
* **Composing Monads Using Coproducts** (ICFP 2002)
by Christoph Lüth and Neil Ghani
* **Notions of computation determine monads** (FoSSaCS 2002)
by Gordon D. Plotkin and John Power
### 2001
* **Monadic Encapsulation of Effects: A Revised Approach (Extended Version)** (JFP 2001)
by Eugenio Moggi and Amr Sabry
* **Adequacy for algebraic effects** (FoSSaCS 2001)
by Gordon D. Plotkin and John Power
### 2000
* **Deriving Backtracking Monad Transformers** (ICFP 2000)
by Ralf Hinze
* **Monads and Effects** (APPSEM 2000)
by Nick Benton, John Hughes and Eugenio Moggi
### 1999
* **Representing layered monads** (POPL 1999)
by Andrzej Filinski
([ps.gz](http://hjemmesider.diku.dk/~andrzej/papers/RLM.ps.gz))
### 1995
* **Monad Transformers and Modular Interpreters** (POPL 1995)
by Sheng Liang, Paul Hudak and Mark Jones
* **Monads for functional programming** (1995)
Philip Wadler
### 1994
* **Extensible Denotational Language Specifications** (TACS 1994)
by Robert Cartwright and Matthias Felleisen
([ps.gz](http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tacs94-cf.ps.gz))
* **Building interpreters by transforming stratified monads** (Unpublished, 1994)
by David Espinosa
([pdf](https://github.com/davidespinosa01/papers/blob/master/E/Espinosa%20David/espinosa-stratified-monads.pdf))
* **Representing monads** (POPL 1994)
by Andrzej Filinski
* **Building Interpreters by Composing Monads** (POPL 1994)
by Guy L. Steele, Jr.
* **Monads and composable continuations** (J. Lisp & Symb. Comp. 1994)
by Philip Wadler
### 1993
* **Imperative Functional Programming** (POPL 1993)
by Simon Peyton Jones and Philip Wadler
* **Combining Monads** (Functional Programming, 1993)
by David J. King and Philip Wadler
* **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993)
Guy L. Steele, Jr.
* **Modular denotational semantics** (Unpublished, 1993)
by David Espinosa
([pdf](https://github.com/davidespinosa01/papers/blob/master/E/Espinosa%20David/espinosa-semantic-lego.pdf))
### 1992
* **The essence of functional programming** (POPL 1992)
by Philip Wadler
### 1991
* **Notions of computation and monads** (Information and Computation, 93(1), 1991)
by Eugenio Moggi
([pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf))
### 1990
* **Comprehending Monads** (Lisp and Functional Programming, 1990)
Philip Wadler
* **Abstracting Control** (LFP 1990)
by Olivier Danvy and Andrzej Filinski
### 1989
* **Computational lambda-calculus and monads** (LICS 1989)
by Eugenio Moggi
([pdf](http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf))
* **An abstract view of programming languages** (Ed. Uni. Tech Report, 1989)
by Eugenio Moggi
### 1988
* **Polymorphic effect systems** (POPL 1988)
by John M. Lucassen and David K. Gifford
([pdf](http://groups.csail.mit.edu/pag/OLD/parg/lucassen88effects.pdf))
* **The FX-87 Interpreter** (ICCL 1988)
by Pierre Jouvelot and David K. Gifford
([doi](https://doi.org/10.1109%2FICCL.1988.13044))
## Theses and Dissertations
### 2024
* **Algebraic Effects and Handlers for Arrows** (PhD Dissertation, Kyoto University)
by Takahiro Sanada
([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/phdthesis.pdf))
### 2023
* **Elaine: Elaboration of Higher-Order Effects as First-Class Language Feature** (MSc Dissertation, TU Delft)
by Terts Diepraam
([pdf](https://repository.tudelft.nl/islandora/object/uuid:f6c38be6-853f-499b-aa4e-cfa2ce219bf5/datastream/OBJ/download))
* **Deriving Effect Handler Semantics** (MSc Dissertation, TU Delft)
by Chris Lemaire
([pdf](https://repository.tudelft.nl/islandora/object/uuid:414215b8-837d-46d5-952e-bdc5b47e47cc/datastream/OBJ/download))
* **Concurrent Structures and Effect Handlers: A Batch Made in Heaven** (BSc Dissertation, Yale NUS College)
by Lee Koon Wen
([pdf](https://ilyasergey.net/assets/pdf/papers/Koon-Wen-Lee-Capstone.pdf))
### 2022
* **Algebraic Effect Instance Scopes** (BSc Dissertation, University of Wroclaw)
by Patrycja Balik
([pdf](https://ii.uni.wroc.pl/media/uploads/2022/11/18/balik-patrycja-praca.pdf))
* **Comprehending Pure Functional Effect Systems** (MSc Dissertation, University of Oxford)
by Daniel Tattan-Birch
([pdf](https://www.dantb.dev/files/dissertation.pdf))
([Summary post](https://www.dantb.dev/posts/dissertation))
### 2021
* **Foundations for Programming and Implementing Effect Handlers** (PhD Dissertation, The University of Edinburgh)
by Daniel Hillerström
([pdf](https://dhil.net/research/papers/thesis.pdf))
([GitHub](https://github.com/dhil/phd-dissertation))
* **Extending Effekt with Bidirectional Effects** (MSc Dissertation, Tokyo Institute of Technology)
by Kazuki Niimi
([pdf](https://prg.is.titech.ac.jp/wp-content/uploads/2021/04/2021-03M-niimi.pdf))
### 2020
* **Linear Frank** (BSc Dissertation, The University of New South Wales)
by James Treloar
([pdf](https://people.eng.unimelb.edu.au/rizkallahc/theses/james-treloar-honours-thesis.pdf))
* **Applications of Algebraic Effect Theories** (PhD Dissertation, University of Ljubljana)
by Žiga Lukšič
([pdf](https://repozitorij.uni-lj.si/Dokument.php?id=137124&lang=eng))
* **Asynchronous Effect Handling** (MSc Dissertation, The University of Edinburgh)
by Leo Poulson
([pdf](https://raw.githubusercontent.com/leopoulson/thesis/master/thesis.pdf))
* **Relational Reasoning for Effects and Handlers** (PhD Dissertation, The University of Edinburgh)
by Craig McLaughlin
([doi](http://dx.doi.org/10.7488/era/537))
([pdf](https://era.ed.ac.uk/bitstream/handle/1842/37236/McLaughlin2020.pdf?sequence=1&isAllowed=y))
* **Design and Implementation of Effect Handlers for Object-Oriented Programming Languages** (PhD Dissertation, University of Tübingen)
by Jonathan Immanuel Brachthäuser
([dblp](https://dblp.uni-trier.de/rec/phd/dnb/Brachthauser20.html))
### 2019
* **A Type System for Dynamic Instances** (MSc Dissertation, TU Delft)
by Albert ten Napel
([pdf](https://repository.tudelft.nl/islandora/object/uuid:36d382d8-3ba4-4825-b718-a080b01b0649/datastream/OBJ/download))
* **Efficient Algebraic Effect Handlers** (PhD Dissertation, KU Leuven)
by Amr Hany Saleh
([pdf](https://lirias.kuleuven.be/retrieve/532832/))
* **Program Equivalence for Algebraic Effects via Modalities** (MSc Dissertation, University of Oxford)
by Cristina Matache
([pdf](https://homepages.inf.ed.ac.uk/cmatache/documents/m_diss.pdf))
* **Defined Algebraic Operations** (PhD Dissertation, University of Birmingham)
by Bram Geron
([pdf](https://bram.xyz/thesis.pdf))
### 2018
* **Algebraic Subtyping for Algebraic Effects and Handlers** (MSc Dissertation, KU Leuven)
by Alex Faes
([pdf](https://github.com/TheAxeC/algebraic-subtyping-for-algebraic-effects-and-handlers/blob/master/thesis.pdf))
### 2017
* **Distributive Interaction of Algebraic Effects** (PhD Dissertation, University of Oxford)
by Kwok-Ho Cheung
([pdf](https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818/download_file?file_format=pdf&safe_filename=report.pdf&type_of_work=Thesis))
* **Enhancing a Modular Effectful Programming Language** (MSc Dissertation, The University of Edinburgh)
by Lukas Convent
([pdf](http://lukas.convnet.de/proj/master/thesis.pdf))
* **Fibred Computational Effects** (PhD Dissertation, The University of Edinburgh)
by Danel Ahman
([pdf](https://danel.ahman.ee/papers/phd-thesis.pdf))
### 2016
* **Compilation of Effect Handlers and their Applications in Concurrency** (MSc Dissertation, The University of Edinburgh)
by Daniel Hillerström
([pdf](https://www.dhil.net/research/papers/thesis2016.pdf))
* **On the expressive power of effect handlers and monadic reflection** (MSc Dissertation, University of Cambridge)
by Yannick Forster
([pdf](http://www.ps.uni-saarland.de/~forster/downloads/mphil-thesis.pdf))
### 2015
* **Handlers for Algebraic Effects in Links** (MSc Dissertation, The University of Edinburgh)
by Daniel Hillerström
([pdf](https://www.dhil.net/research/papers/thesis2015.pdf))
### 2010
* **The Logic and Handling of Algebraic Effects** (PhD Dissertation, The University of Edinburgh)
by Matija Pretnar
([pdf](https://www.era.lib.ed.ac.uk/bitstream/handle/1842/4611/Pretnar2010.pdf))
### 1996
* **Controlling Effects** (PhD Dissertation, Carnegie Mellon University)
by Andrzej Filinski
([dvi.gz](http://hjemmesider.diku.dk/~andrzej/papers/CE.dvi.gz))
([ps.gz](http://hjemmesider.diku.dk/~andrzej/papers/CE.ps.gz))
### 1995
* **Semantic Lego** (PhD Dissertation, Columbia University)
by David Espinosa
([pdf](https://github.com/davidespinosa01/papers/raw/master/E/Espinosa%20David/espinosa-thesis.pdf))
([pdf slides](https://github.com/davidespinosa01/papers/raw/master/E/Espinosa%20David/espinosa-thesis-slides.pdf))
### 1987
* **Types and Effects — Towards the Integration of Functional and Imperative Programming** (PhD Dissertation, MIT)
by John M. Lucassen
([pdf](https://apps.dtic.mil/sti/pdfs/ADA186930.pdf))
---
Status of links at last commit: 