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: 27 days 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-10-30T15:43:10.000Z (about 1 month ago)
- Last Synced: 2024-10-30T16:36:28.151Z (about 1 month ago)
- Topics: algebraic-effects, bibliography
- Homepage:
- Size: 227 KB
- Stars: 964
- Watchers: 63
- Forks: 81
- Open Issues: 3
-
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 language with lexical effect handlers and lightweight effect polymorphism
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
([www](https://effekt-lang.org))
* **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))
* **Fram**: programming language with lexically-scoped effect handlers and generalized labelled parameters
by Patrycja Balik and Piotr Polesiuk
([GitHub](https://github.com/fram-lang/dbl))
* **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
([doi](https://doi.org/10.48550/arXiv.1807.05923))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1807.05923))
([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. Invited tutorial paper** (MFPS 2015)
by Matija Pretnar
([doi](https://doi.org/10.1016/j.entcs.2015.12.003))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html?view=bibtex))
([pdf](http://www.eff-lang.org/handlers-tutorial.pdf))
## Papers
### 2024
* **Specification and Verification for Unrestricted Algebraic Effects and Handling** (ICFP 2024)
by Yahui Song, Darius Foo, and Wei-Ngan Chin
([doi](https://dl.acm.org/doi/10.1145/3674656))
([pdf](https://www.comp.nus.edu.sg/~yahuis/ICFP24/ICFP2024_TR.pdf))
* **Asymptotic speedup via effect handlers** (JFP 2024)
by Daniel Hillerström, Sam Lindley, and John Longley
([doi](https://doi.org/10.1017/s0956796824000030))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/books/sp/24/AndrieuxHR24.html))
([bibtex](https://dblp.uni-trier.de/rec/books/sp/24/AndrieuxHR24.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/TangHLM24.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/TangHLM24.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html?view=bibtex))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3632929))
([arxiv (extended version)](https://arxiv.org/abs/2308.16542))
([pdf (extended version)](https://arxiv.org/pdf/2308.16542))
* **Effectful Software Contracts** (POPL 2024)
by Cameron Moy, Christos Dimoulas, and Matthias Felleisen
([doi](https://doi.org/10.1145/3632930))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MoyDF24.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MoyDF24.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/pepm/TsuyamaCM24.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/pepm/TsuyamaCM24.html?view=bibtex))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3635800.3636968))
### 2023
* **Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library** (LMCS 2023)
by Paulo Emílio de Vilhena and François Pottier
([doi](https://doi.org/10.46298/lmcs-19(4:5)2023))
([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/VilhenaP23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/VilhenaP23.html?view=bibtex))
([pdf](https://devilhena-paulo.github.io/files/verifying-rmad.pdf))
([Coq formalisation](https://gitlab.inria.fr/cambium/hazel/-/blob/master/papers/LMCS-RMAD.md))
* **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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MullerSSOB23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MullerSSOB23.html?view=bibtex))
([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, K. C. Sivaramakrishnan, Matija Pretnar, and Sam Lindley
([doi](https://doi.org/10.1145/3622814))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2308.08347))
([pdf](https://arxiv.org/pdf/2308.08347))
* **Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators** (PPDP 2023)
by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara
([doi](https://doi.org/10.1145/3610612.3610616))
([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html?view=bibtex))
([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf))
* **Error Localization for Sequential Effect Systems** (SAS 2023)
by Colin S. Gordon and Chaewon Yun
([doi](https://doi.org/10.1007/978-3-031-44245-2_16))
([dblp](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html?view=bibtex))
* **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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SieczkowskiPB23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SieczkowskiPB23.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/LutzeMSB23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/LutzeMSB23.html?view=bibtex))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3607846))
* **A Type System for Effect Handlers and Dynamic Labels** (ESOP 2023)
by Paulo Emílio de Vilhena and François Pottier
([doi](https://link.springer.com/chapter/10.1007/978-3-031-30044-8_9))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/VilhenaP23.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/VilhenaP23.html?view=bibtex))
([pdf](https://devilhena-paulo.github.io/files/tes.pdf))
([Coq formalisation](https://gitlab.inria.fr/cambium/tes))
* **Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects** (POPL 2023)
by Casper Bach Poulsen and Cas van der Rest
([doi](https://doi.org/10.1145/3571255))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html?view=bibtex))
([pdf](http://casperbp.net/store/hefty-algebras.pdf))
* **Towards a Reflection for Effect Handlers** (PEPM 2023)
by Youyou Cong and Kenichi Asai
([doi](https://doi.org/10.1145/3571786.3573015))
([dblp](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html?view=bibtex))
### 2022
* **Category-Graded Algebraic Theories and Effect Handlers** (MFPS 2022)
by Takahiro Sanada
([doi](https://doi.org/10.46298/entics.10491))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2212-07015.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2212-07015.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3547635))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/NguyenPWW22.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/NguyenPWW22.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-031-21037-2_5))
([dblp](https://dblp.uni-trier.de/rec/conf/aplas/SongFC22.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/SongFC22.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-031-21037-2_1))
([dblp](https://dblp.uni-trier.de/rec/conf/aplas/DvirKL22.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/DvirKL22.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3563289))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieCIL22.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieCIL22.html?view=bibtex))
([pdf](https://xnning.github.io/papers/oopsla22namedh.pdf))
* **High-level effect handlers in C++** (OOPSLA 2022)
by Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
([doi](https://doi.org/10.1145/3563445))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/s10849-022-09378-7))
([dblp](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/pldi/SchusterB0O22.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/SchusterB0O22.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-030-99336-8_17))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html?view=bibtex))
([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf))
([arxiv (extended version)](https://arxiv.org/abs/2201.10287))
([pdf (extended version)](https://arxiv.org/pdf/2201.10287))
* **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
([doi](https://doi.org/10.1145/3527320))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSLB22.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSLB22.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html?view=bibtex))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3485479))
* **Latent Effects for Reusable 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))
([dblp](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html?view=bibtex))
([arxiv (extended version)](https://arxiv.org/abs/2108.11155))
([pdf (extended version)](https://arxiv.org/pdf/2108.11155))
* **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))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/PunchihewaW21.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/PunchihewaW21.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html?view=bibtex))
([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: efficient compilation of effect handlers to C** (ICFP 2021)
by Ningning Xie and Daan Leijen
([doi](https://doi.org/10.1145/3473576))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieL21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieL21.html?view=bibtex))
([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
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.12))
([dblp](https://dblp.uni-trier.de/rec/conf/fscd/CongIHA21.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/CongIHA21.html?view=bibtex))
([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14250/pdf/LIPIcs-FSCD-2021-12.pdf))
* **Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators** (FSCD 2021)
by Maika Fujii and Kenichi Asai
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.16))
([dblp](https://dblp.uni-trier.de/rec/conf/fscd/FujiiA21.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/FujiiA21.html?view=bibtex))
([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14254/pdf/LIPIcs-FSCD-2021-16.pdf))
* **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 K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
([doi](https://doi.org/10.1145/3453483.3454039))
([dblp](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2104.00250))
([pdf](https://arxiv.org/pdf/2104.00250))
* **Polymorphic Iterable Sequential Effect Systems** (TOPLAS 2021)
by Colin S. Gordon
([doi](https://doi.org/10.1145/3450272))
([dblp](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1808.02010))
([pdf](https://arxiv.org/pdf/1808.02010))
* **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021)
by Jesse Sigal
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2101.08095))
([pdf](https://arxiv.org/pdf/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
([doi](https://doi.org/10.1145/3434314))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html?view=bibtex))
([pdf](https://devilhena-paulo.github.io/files/separation-logic-effect-handlers.pdf))
([Coq formalisation](https://gitlab.inria.fr/cambium/hazel))
* **Asynchronous effects** (POPL 2021)
by Danel Ahman and Matija Pretnar
([doi](https://doi.org/10.1145/3434305))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2003.02110))
([pdf](https://arxiv.org/pdf/2003.02110))
### 2020
* **Graded Algebraic Theories** (FoSSaCS 2020)
by Satoshi Kura
([doi](https://doi.org/10.1007/978-3-030-45231-5_21))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/Kura20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/Kura20.html?view=bibtex))
([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://doi.org/10.1007/s00165-020-00523-2))
([dblp](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html?view=bibtex))
* **Not by equations alone: Reasoning with extensible effects** (JFP 2020)
by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry
([doi](https://doi.org/10.1017/S0956796820000271))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KiselyovMS21.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KiselyovMS21.html?view=bibtex))
([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
([dblp](https://dblp.uni-trier.de/rec/conf/icml/GorinovaMH20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icml/GorinovaMH20.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html?view=bibtex))
([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/3406088.3409023))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html?view=bibtex))
([pdf](https://dl.acm.org/doi/pdf/10.1145/3406088.3409023))
* **Handling bidirectional control flow** (OOPSLA 2020)
by Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers
([doi](https://doi.org/10.1145/3428207))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html?view=bibtex))
([pdf](https://www.cs.cornell.edu/andru/papers/ufo/bidirectional-effects.pdf))
* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)** (ECOOP 2020)
by Colin S. Gordon
([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.10))
([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19a.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19a.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/McDermottPU20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/McDermottPU20.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3426422.3426978))
([dblp](https://dblp.uni-trier.de/rec/conf/dls/PinckneyGB20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/dls/PinckneyGB20.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiLP20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiLP20.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3406088.3409022))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/XieL20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/XieL20.html?view=bibtex))
([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 Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
([doi](https://doi.org/10.1145/3428194))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S0956796820000106))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/PietersRS20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/PietersRS20.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3408999))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2003.08138))
([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
([doi](https://doi.org/10.1145/3408982))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2007.00605))
([pdf](https://arxiv.org/pdf/2007.00605))
* **Effect handlers, evidently** (ICFP 2020)
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
([doi](https://doi.org/10.1145/3408981))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SchusterBO20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SchusterBO20.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S0956796820000027))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/BrachthauserSO20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/BrachthauserSO20.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S0956796820000039))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/ConventLMM20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/ConventLMM20.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S0956796820000040))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLA20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLA20.html?view=bibtex))
([pdf](https://dhil.net/research/papers/generalised_continuations-jfp2020.pdf))
* **Runners in Action** (ESOP 2020)
by Danel Ahman and Andrej Bauer
([doi](https://doi.org/10.1007/978-3-030-44914-8_2))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1910.11629))
([pdf](https://arxiv.org/pdf/1910.11629))
* **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, and Steve Zdancewic
([doi](https://doi.org/10.1145/3371119))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3371116))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS20.html?view=bibtex))
([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
([doi](https://doi.org/10.4204/EPTCS.317.3))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2005.00197))
([pdf](https://arxiv.org/pdf/2005.00197))
* **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020)
by Niels F. W. Voorneveld
([doi](https://doi.org/10.4204/EPTCS.317.1))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2005.00196))
([pdf](https://arxiv.org/pdf/2005.00196))
* **Unifying graded and parameterised monads** (MSFP 2020)
by Dominic Orchard, Philip Wadler, and Harley Eades III
([doi](https://doi.org/10.4204/EPTCS.317.2))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2001.10274))
([pdf](https://arxiv.org/pdf/2001.10274))
* **Local algebraic effect theories** (JFP 2020)
by Žiga Lukšič and Matija Pretnar
([doi](https://doi.org/10.1017/S0956796819000212))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2005.13654))
([pdf](https://arxiv.org/pdf/2005.13654))
* **Explicit effect subtyping** (JFP 2020)
by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers
([doi](https://doi.org/10.1017/S0956796820000131))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html?view=bibtex))
([arxiv](https://arxiv.org/abs/2005.13814))
([pdf](https://arxiv.org/pdf/2005.13814))
* **The fire triangle: how to mix substitution, dependent elimination, and effects** (POPL 2020)
by Pierre-Marie Pédrot and Nicolas Tabareau
([doi](https://doi.org/10.1145/3371126))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PedrotT20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PedrotT20.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-030-17127-8_22))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MatacheS19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MatacheS19.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S0956796819000121))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3341708))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1903.01237))
([pdf](https://arxiv.org/pdf/1903.01237))
* **A predicate transformer semantics for effects (functional pearl)** (ICFP 2019)
by Wouter Swierstra and Anne Baanen
([doi](https://doi.org/10.1145/3341707))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3331545.3342595))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-030-33636-3_9))
([dblp](https://dblp.uni-trier.de/rec/conf/mpc/AffeldtNS19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/AffeldtNS19.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-030-33636-3_2))
([dblp](https://dblp.uni-trier.de/rec/conf/mpc/PauwelsSM19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/PauwelsSM19.html?view=bibtex))
([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
([doi](https://doi.org/10.23638/LMCS-15(2:18)2019))
([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html?view=bibtex))
([pdf](https://lmcs.episciences.org/5508/pdf))
* **Typed Equivalence of Effect Handlers and Delimited Control** (FSCD 2019)
by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2019.30))
([dblp](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html?view=bibtex))
([pdf](https://maciejpirog.github.io/papers/typed-equivalence-fscd2019.pdf))
* **Handling Polymorphic Algebraic Effects** (ESOP 2019)
by Taro Sekiyama and Atsushi Igarashi
([doi](https://doi.org/10.1007/978-3-030-17184-1_13))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1811.07332))
([pdf](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
([doi](https://doi.org/10.1007/978-3-030-17184-1_9))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3290319))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html?view=bibtex))
([pdf](https://maciejpirog.github.io/papers/biernacki-al-popl19.pdf))
* **Abstraction-safe effect handlers via tunneling** (POPL 2019)
by Yizhou Zhang and Andrew C. Myers
([doi](https://doi.org/10.1145/3290318))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html?view=bibtex))
([technical report](https://ecommons.cornell.edu/handle/1813/60202))
* **Behavioural Equivalence via Modalities for Algebraic Effects** (TOPLAS 2019)
by Alex Simpson and Niels F. W. Voorneveld
([doi](https://doi.org/10.1145/3363518))
([dblp](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html?view=bibtex))
([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 F. W. Voorneveld
([doi](https://doi.org/10.1007/978-3-319-89884-1_11))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html?view=bibtex))
([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
([doi](https://doi.org/10.1515/comp-2018-0009))
([dblp](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html?view=bibtex))
([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf))
* **Pyro: Deep Universal Probabilistic Programming** (2018)
by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1810.09538))
([pdf](https://arxiv.org/pdf/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
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1811.06150))
([pdf](https://arxiv.org/pdf/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))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html?view=bibtex))
* **Functional programming for modular Bayesian inference** (ICFP 2018)
by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
([doi](https://doi.org/10.1145/3236778))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3276954.3276955))
([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3276481))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html?view=bibtex))
* **Syntax and Semantics for Operations with Scopes** (LICS 2018)
by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff
([doi](https://doi.org/10.1145/3209108.3209166))
([dblp](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Leijen18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Leijen18.html?view=bibtex))
* **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
([doi](https://doi.org/10.1007/978-3-030-02768-1_22))
([dblp](https://dblp.uni-trier.de/rec/conf/aplas/HillerstromL18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/HillerstromL18.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3236762))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BracevacASEEM18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BracevacASEEM18.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-319-95582-7_20))
([dblp](https://dblp.uni-trier.de/rec/conf/fm/LetanRCH18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fm/LetanRCH18.html?view=bibtex))
([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
([doi](https://doi.org/10.1007/978-3-319-89884-1_12))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/SalehKPS18.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SalehKPS18.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3158096))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS18.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3158095))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/Ahman18.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/Ahman18.html?view=bibtex))
([pdf](https://danelahman.github.io/papers/popl18.pdf))
### 2017
* **Staged generic programming** (ICFP 2017)
by Jeremy Yallop
([doi](https://doi.org/10.1145/3110273))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/Yallop17.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/Yallop17.html?view=bibtex))
([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 Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, and Leo White
([doi](https://doi.org/10.1007/978-3-319-89719-6_6))
([dblp](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3205368.3205372))
([dblp](https://dblp.uni-trier.de/rec/conf/ifl/PietersSR17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ifl/PietersSR17.html?view=bibtex))
([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 (short paper)** (Scala 2017)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
([doi](https://doi.org/10.1145/3136000.3136007))
([dblp](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html?view=bibtex))
* **Efficient Compilation of Algebraic Effects and Handlers** (2017)
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
([doi](https://doi.org/10.1145/3122975.3122977))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Leijen17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Leijen17.html?view=bibtex))
([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 - "Monads for Free in C"** (APLAS 2017)
by Daan Leijen
([doi](https://doi.org/10.1007/978-3-319-71237-6_17))
([dblp](https://dblp.uni-trier.de/rec/conf/aplas/Leijen17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/Leijen17.html?view=bibtex))
([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 K. C. Sivaramakrishnan
([doi](https://doi.org/10.4230/LIPIcs.FSCD.2017.18))
([dblp](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3110257))
([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1610.09161))
([pdf](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))
([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/3009837.3009897))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1611.09259))
([pdf](https://arxiv.org/pdf/1611.09259))
* **Type directed compilation of row-typed algebraic effects** (POPL 2017)
by Daan Leijen
([doi](https://doi.org/10.1145/3009837.3009872))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Leijen17.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Leijen17.html?view=bibtex))
* **No value restriction is needed for algebraic effects and handlers** (J. Funct. Program. 2017)
by Ohad Kammar and Matija Pretnar
([doi](https://doi.org/10.1017/S0956796816000320))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1605.06938))
([pdf](https://arxiv.org/pdf/1605.06938))
### 2016
* **Combining effects and coeffects via grading** (ICFP 2016)
by Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu
([doi](https://doi.org/10.1145/2951913.2951939))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html?view=bibtex))
([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 A. Orchard and Nobuko Yoshida
([doi](https://doi.org/10.1145/2837614.2837634))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html?view=bibtex))
([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 A. Orchard, and Tomas Petricek
([doi](https://doi.org/10.1007/978-3-319-27810-0_1))
([dblp](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html?view=bibtex))
([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
([doi](https://doi.org/10.1017/S147106841600034X))
([dblp](https://dblp.uni-trier.de/rec/journals/tplp/SalehS16.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/tplp/SalehS16.html?view=bibtex))
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/iclp2016a.pdf))
* **Eff Directly in OCaml** (ML Workshop 2016)
by Oleg Kiselyov and K. C. Sivaramakrishnan
([doi](https://doi.org/10.4204/EPTCS.285.2))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/2976022.2976033))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/HillerstromL16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/HillerstromL16.html?view=bibtex))
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf))
* **Dependent Types and Fibred Computational Effects** (FoSSaCS 2016)
by Danel Ahman, Neil Ghani, and Gordon D. Plotkin
([doi](https://doi.org/10.1007/978-3-662-49630-5_3))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html?view=bibtex))
([pdf](https://danelahman.github.io/papers/fossacs16.pdf))
* **From Monads to Effects and Back** (PADL 2016)
by Niki Vazou and Daan Leijen
([doi](https://doi.org/10.1007/978-3-319-28228-2_11))
([dblp](https://dblp.uni-trier.de/rec/conf/padl/VazouL16.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/padl/VazouL16.html?view=bibtex))
([pdf](http://goto.ucsd.edu/~nvazou/koka/padl16.pdf))
### 2015
* **Algebraic Effects, Linearity, and Quantum Programming Languages** (POPL 2015)
by Sam Staton
([doi](https://doi.org/10.1145/2676726.2676999))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/2897336.2897342))
([dblp](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html?view=bibtex))
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2015_post.pdf))
* **Customizable gradual polymorphic effects for Scala** (OOPSLA 2015)
by Matías Toro and Éric Tanter
([doi](https://doi.org/10.1145/2814270.2814315))
([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html?view=bibtex))
* **Freer monads, more extensible effects** (Haskell 2015)
by Oleg Kiselyov and Hiromi Ishii
([doi](https://doi.org/10.1145/2804302.2804319))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovI15.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovI15.html?view=bibtex))
([pdf](http://okmij.org/ftp/Haskell/extensible/more.pdf))
* **Programming with algebraic effects and handlers** (JLAMP 2015)
by Andrej Bauer and Matija Pretnar
([doi](https://doi.org/10.1016/j.jlamp.2014.02.001))
([dblp](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html?view=bibtex))
([pdf](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf))
* **Fusion for Free - Efficient Algebraic Effect Handlers** (MPC 2015)
by Nicolas Wu and Tom Schrijvers
([doi](https://doi.org/10.1007/978-3-319-19797-5_15))
([dblp](https://dblp.uni-trier.de/rec/conf/mpc/WuS15.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/WuS15.html?view=bibtex))
([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2015.pdf))
* **Interleaving data and effects** (JFP 2015)
by Robert Atkey and Patricia Johann
([doi](https://doi.org/10.1017/S0956796815000209))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html?view=bibtex))
([pdf](http://bentnib.org/interleaving.pdf))
* **Stateful Runners of Effectful Computations** (MFPS 2015)
by Tarmo Uustalu
([doi](https://doi.org/10.1016/j.entcs.2015.12.024))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Uustalu15.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Uustalu15.html?view=bibtex))
### 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
([doi](https://doi.org/10.1145/2633628.2633636))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lindley14.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lindley14.html?view=bibtex))
([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/aeia.pdf))
* **A theory of gradual effect systems** (ICFP 2014)
by Felipe Bañados Schwerter, Ronald Garcia, and Éric Tanter
([doi](https://doi.org/10.1145/2628136.2628149))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html?view=bibtex))
* **Effect handlers in scope** (Haskell 2014)
by Nicolas Wu, Tom Schrijvers, and Ralf Hinze
([doi](https://doi.org/10.1145/2633357.2633358))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html?view=bibtex))
([pdf](http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf))
* **Embedding effect systems in Haskell** (Haskell 2014)
by Dominic A. Orchard and Tomas Petricek
([doi](https://doi.org/10.1145/2633357.2633368))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html?view=bibtex))
([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/haskell14-effects.pdf))
* **The semantic marriage of monads and effects** (Unpublished, 2014)
by Dominic A. Orchard, Tomas Petricek, and Alan Mycroft
([dblp](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1401.5391))
([pdf](https://arxiv.org/pdf/1401.5391))
* **Inferring Algebraic Effects** (LMCS 2014)
by Matija Pretnar
([doi](https://doi.org/10.2168/LMCS-10(3:21)2014))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1312.2334))
([pdf](https://arxiv.org/pdf/1312.2334))
* **An Effect System for Algebraic Effects and Handlers** (LMCS 2014)
by Andrej Bauer and Matija Pretnar
([doi](https://doi.org/10.2168/LMCS-10(4:9)2014))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1306.6316))
([pdf](https://arxiv.org/pdf/1306.6316))
* **Parametric effect monads and semantics of effect systems** (POPL 2014)
by Shin-ya Katsumata
([doi](https://doi.org/10.1145/2535838.2535846))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html?view=bibtex))
### 2013
* **Programming and reasoning with algebraic effects and dependent types** (ICFP 2013)
by Edwin C. Brady
([doi](https://doi.org/10.1145/2500365.2500581))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/2500365.2500602))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html?view=bibtex))
([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf))
* **Handlers in action** (ICFP 2013)
by Ohad Kammar, Sam Lindley, and Nicolas Oury
([doi](https://doi.org/10.1145/2500365.2500590))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/2503778.2503791))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html?view=bibtex))
([pdf](https://www.cs.indiana.edu/~sabry/papers/exteff.pdf))
* **Java UI : Effects for Controlling UI Object Access** (ECOOP 2013)
by Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman
([doi](https://doi.org/10.1007/978-3-642-39038-8_8))
([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html?view=bibtex))
([pdf](https://www.cs.drexel.edu/~csgordon/papers/ecoop13.pdf))
* **Handling Algebraic Effects** (LMCS 2013)
by Gordon D. Plotkin and Matija Pretnar
([doi](https://doi.org/10.2168/LMCS-9(4:23)2013))
([dblp](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html?view=bibtex))
([arxiv](https://arxiv.org/abs/1312.1399))
([pdf](https://arxiv.org/pdf/1312.1399))
* **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))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/AhmanS13.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/AhmanS13.html?view=bibtex))
([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))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html?view=bibtex))
### 2012
* **Lightweight Polymorphic Effects** (ECOOP 2012)
by Lukas Rytz, Martin Odersky, and Philipp Haller
([doi](https://doi.org/10.1007/978-3-642-31057-7_13))
([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html?view=bibtex))
* **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
([doi](https://doi.org/10.1016/j.entcs.2011.02.018))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html?view=bibtex))
* **Lightweight monadic programming in ML** (ICFP 2011)
by Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks
([doi](https://doi.org/10.1145/2034773.2034778))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/2034773.2034781))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html?view=bibtex))
* **Just do it: simple monadic equational reasoning** (ICFP 2011)
by Jeremy Gibbons and Ralf Hinze
([doi](https://doi.org/10.1145/2034773.2034777))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html?view=bibtex))
### 2010
* **Monad transformers as monoid transformers** (Theor. Comp. Science 2010)
by Mauro Jaskelioff and Eugenio Moggi
([doi](https://doi.org/10.1016/j.tcs.2010.09.011))
([dblp](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html?view=bibtex))
* **The Operational Monad Tutorial** (The Monad Reader, 2010)
by Heinrich Apfelmus
### 2009
* **Handlers of Algebraic Effects** (ESOP 2009)
by Gordon D. Plotkin and Matija Pretnar
([doi](https://doi.org/10.1007/978-3-642-00590-9_7))
([dblp](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html?view=bibtex))
([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Effect_Handlers.pdf))
* **Parameterised notions of computation** (JFP 2009)
by Robert Atkey
([doi](https://doi.org/10.1017/S095679680900728X))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html?view=bibtex))
([pdf](http://bentnib.org/paramnotions-jfp.pdf))
* **Algebras for Parameterised Monads** (CALCO 2009)
by Robert Atkey
([doi](https://doi.org/10.1007/978-3-642-03741-2_2))
([dblp](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html?view=bibtex))
([pdf](http://bentnib.org/algebras-param-monads.pdf))
### 2008
* **Lightweight monadic regions** (Haskell 2008)
by Oleg Kiselyov and Chung-chieh Shan
([doi](https://doi.org/10.1145/1411286.1411288))
([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html?view=bibtex))
* **A Logic for Algebraic Effects** (LICS 2008)
by Gordon D. Plotkin and Matija Pretnar
([doi](https://doi.org/10.1109/LICS.2008.45))
([dblp](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html?view=bibtex))
([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
([doi](https://doi.org/10.1016/j.entcs.2011.02.014))
([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html?view=bibtex))
([pdf](http://bentnib.org/arrows.pdf))
* **Data types à la carte** (JFP 2008)
by Wouter Swierstra
([doi](https://doi.org/10.1017/S0956796808006758))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html?view=bibtex))
([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 F. Smith, and David Van Horn
([doi](https://doi.org/10.1017/S0956796807006466))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html?view=bibtex))
### 2007
* **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007)
by Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power
([doi](https://doi.org/10.1016/j.tcs.2006.12.026))
([dblp](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html?view=bibtex))
### 2006
* **Programming monads operationally with Unimo** (ICFP 2006)
by Chuan-Kai Lin
([doi](https://doi.org/10.1145/1159803.1159840))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html?view=bibtex))
* **Monadic regions** (JFP 2006)
by Matthew Fluet and J. Gregory Morrisett
([doi](https://doi.org/10.1017/S095679680600596X))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html?view=bibtex))
### 2003
* **A Monadic Multi-stage Metalanguage** (FOSSACS 2003)
by Eugenio Moggi and Sonia Fagorzi
([doi](https://doi.org/10.1007/3-540-36576-1_23))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html?view=bibtex))
([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
([doi](https://doi.org/10.1023/A:1023064908962))
([dblp](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/601775.601776))
([dblp](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html?view=bibtex))
### 2002
* **Composing monads using coproducts** (ICFP 2002)
by Christoph Lüth and Neil Ghani
([doi](https://doi.org/10.1145/581478.581492))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html?view=bibtex))
* **Notions of Computation Determine Monads** (FoSSaCS 2002)
by Gordon D. Plotkin and John Power
([doi](https://doi.org/10.1007/3-540-45931-6_24))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html?view=bibtex))
### 2001
* **Monadic encapsulation of effects: a revised approach (extended version)** (JFP 2001)
by Eugenio Moggi and Amr Sabry
([doi](https://doi.org/10.1017/S0956796801004154))
([dblp](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html?view=bibtex))
* **Adequacy for Algebraic Effects** (FoSSaCS 2001)
by Gordon D. Plotkin and John Power
([doi](https://doi.org/10.1007/3-540-45315-6_1))
([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html?view=bibtex))
### 2000
* **Deriving backtracking monad transformers** (ICFP 2000)
by Ralf Hinze
([doi](https://doi.org/10.1145/351240.351258))
([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html?view=bibtex))
* **Monads and Effects** (APPSEM 2000)
by Nick Benton, John Hughes, and Eugenio Moggi
([doi](https://doi.org/10.1007/3-540-45699-6_2))
([dblp](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html?view=bibtex))
### 1999
* **Representing Layered Monads** (POPL 1999)
by Andrzej Filinski
([doi](https://doi.org/10.1145/292540.292557))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html?view=bibtex))
([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 P. Jones
([doi](https://doi.org/10.1145/199448.199528))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html?view=bibtex))
* **Monads for Functional Programming** (1995)
by Philip Wadler
([doi](https://doi.org/10.1007/3-540-59451-5_2))
([dblp](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html?view=bibtex))
### 1994
* **Extensible Denotational Language Specifications** (TACS 1994)
by Robert Cartwright and Matthias Felleisen
([doi](https://doi.org/10.1007/3-540-57887-0_99))
([dblp](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/174675.178047))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html?view=bibtex))
* **Building Interpreters by Composing Monads** (POPL 1994)
by Guy L. Steele Jr.
([doi](https://doi.org/10.1145/174675.178068))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html?view=bibtex))
* **Monads and Composable Continuations** (J. Lisp & Symb. Comp. 1994)
by Philip Wadler
([dblp](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html?view=bibtex))
### 1993
* **Imperative Functional Programming** (POPL 1993)
by Simon L. Peyton Jones and Philip Wadler
([doi](https://doi.org/10.1145/158511.158524))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html?view=bibtex))
* **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993)
by 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
* **Combining Monads** (Functional Programming, 1992)
by David J. King and Philip Wadler
([doi](https://doi.org/10.1007/978-1-4471-3215-8_12))
([dblp](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html?view=bibtex))
* **The Essence of Functional Programming** (POPL 1992)
by Philip Wadler
([doi](https://doi.org/10.1145/143165.143169))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html?view=bibtex))
### 1991
* **Notions of Computation and Monads** (Information and Computation, 93(1), 1991)
by Eugenio Moggi
([doi](https://doi.org/10.1016/0890-5401(91)90052-4))
([dblp](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html))
([bibtex](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html?view=bibtex))
([pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf))
### 1990
* **Comprehending Monads** (Lisp and Functional Programming, 1990)
by Philip Wadler
([doi](https://doi.org/10.1145/91556.91592))
([dblp](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html?view=bibtex))
* **Abstracting Control** (LFP 1990)
by Olivier Danvy and Andrzej Filinski
([doi](https://doi.org/10.1145/91556.91622))
([dblp](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html?view=bibtex))
### 1989
* **Computational Lambda-Calculus and Monads** (LICS 1989)
by Eugenio Moggi
([doi](https://doi.org/10.1109/LICS.1989.39155))
([dblp](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html?view=bibtex))
([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
([doi](https://doi.org/10.1145/73560.73564))
([dblp](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html?view=bibtex))
* **The FX-87 Interpreter** (ICCL 1988)
by Pierre Jouvelot and David K. Gifford
([doi](https://doi.org/10.1109/ICCL.1988.13044))
([dblp](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html))
([bibtex](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html?view=bibtex))
## 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))
([dblp](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html))
([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html?view=bibtex))
([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))
([bibtex](https://dblp.uni-trier.de/rec/phd/dnb/Brachthauser20.html?view=bibtex))
### 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
([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html))
([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html?view=bibtex))
([pdf](https://etheses.bham.ac.uk//id/eprint/10520/1/Geron2020PhD.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
([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html))
([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html?view=bibtex))
([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
([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html))
([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html?view=bibtex))
([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
* **Logic and handling of algebraic effects** (PhD Dissertation, The University of Edinburgh)
by Matija Pretnar
([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html))
([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html?view=bibtex))
([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: 