Effects bibliography
A collection of research papers and other resources related to the theory and practice of computational effects.
Instructions
- Pull requests welcome!
- You can edit the file directly 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, 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
(www) -
Eff: programming language with algebraic effects and handlers
by Andrej Bauer and Matija Pretnar
(www) -
Eff in F#: A library for programming with algebraic effects in F#
by Nick Palladinos
(www) -
Effects.js: algebraic effects for Javascript based on Koka and Eff
by Jason Butler
(www) -
Effekt Language: A research language with effect handlers and lightweight effect polymorphism
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
(www) -
EvEff: A Haskell library for programming with evidence-translated effect handlers
by Daan Leijen and Ningning Xie
(www) -
Extensible effects: a Haskell library for effects
by Oleg Kiselyov
(hackage) (www) -
F*: an ML-like effectful dependently typed functional programming language aimed at program verification
by Microsoft Research and Inria
(www) -
Frank: programming language with first-class handlers, invisible effect variables, and multihandlers
by Sam Lindley, Conor McBride, and Craig McLaughlin
(www) -
Fused effects: a Haskell library for effects
by Rob Rix
(hackage) (www) -
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
(www) -
Idris Effects: library for algebraic effects and handlers in Idris - inspired by Eff language
by Edwin Brady
(www) (GitHub) -
Koka: a function-oriented language with effect inference
by Daan Leijen
(www) -
Links effect handlers: an effect handlers extension for the Links web programming language
by Daniel Hillerström and Sam Lindley
(www) -
Multicore OCaml: a multicore + effect handlers extension for OCaml
by Stephen Dolan, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White, and Jeremy Yallop
(www) -
Polysemy: a Haskell library for effects
by Sandy Maguire
(hackage) (www) -
Pyro: a deep universal probabilistic programming language
by Uber AI Labs
(www) -
Scala Effekt: extensible algebraic effects with handlers in Scala
by Jonathan Brachthäuser
(www) -
Unison: a programming language with effects called abilities, inspired by Frank
by Unison Computing
(www) (GitHub) -
Wasm/k: WebAssembly, extended with support for first-class continuations
by Donald Pinckney
(www) (GitHub) -
Æff: An interactive interpreter for asynchronous algebraic effects
by Matija Pretnar and Danel Ahman
(www) (GitHub) -
atnos-org/eff: extensible effects for Cats in Scala
by Eric Torreborre
(www) (GitHub) -
libhandler: an implementation of algebraic effects and handlers in portable C99
by Daan Leijen
(www) -
libmprompt: robust multi-prompt delimited control and effect handlers in C/C++
by Daan Leijen
(www) -
shonky: a dynamically typed variant of Frank with C-like syntax
by Conor McBride
(www)
Tutorials
2018
- What is algebraic about algebraic effects and handlers? (tutorial given at Dagstuhl and OPLSS)
by Andrej Bauer
(pdf)
(Videos: 1.1, 1.2, 1.3, 2.1, 2.2, 2.3)
2017
- Concurrent Programming with Effect Handlers (tutorial given at CUFP)
by Daniel Hillerström and KC Sivaramakrishnan
(www) (GitHub)
2015
- An Introduction to Algebraic Effects and Handlers (MFPS 2015)
by Matija Pretnar
(dblp) (bibtex) (doi) (pdf)
Papers
2021
-
Composing UNIX with Effect Handlers (ML Workshop 2021)
by Daniel Hillerström
(pdf) -
Contextual Modal Types for Algebraic Effects and Handlers (ICFP 2021)
by Nikita Zyuzin and Aleksandar Nanevski
(doi) (pdf) -
Reasoning about Effect Interaction by Fusion (ICFP 2021)
by Zhixuan Yang and Nicolas Wu
(extended pdf) -
Generalized Evidence Passing for Effect Handlers (ICFP 2021)
by Ningning Xie and Daan Leijen
(pdf) -
A Functional Abstraction of Typed Invocation Contexts (FSCD 2021)
by Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai
(pdf) (doi) -
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators (FSCD 2021)
by Maika Fujii and Kenichi Asai
(pdf) (doi) -
Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) (TyDe 2021)
by Kazuki Niimi, Youyou Cong, and Jonathan Immanuel Brachthäuser
(pdf) -
First-class Named Handlers (HOPE 2021)
by Ningning Xie, Youyou Cong, and Daan Leijen
(pdf) -
Higher-Order Asynchronous Effects (HOPE 2021)
by Danel Ahman, Matija Pretnar, and Janez Radešček
(pdf) -
Handler Calculus (HOPE 2021)
by Sam Lindley
(pdf) -
Retrofitting Effect Handlers onto OCaml (PLDI 2021)
by KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(arxiv) (pdf) -
Automatic Differentiation via Effects and Handlers: An Implementation in Frank (PEPM 2021)
by Jesse Sigal
(arxiv) -
Staged Effects and Handlers for Modular Languages with Abstraction (PEPM 2021)
by Casper Bach Poulsen, Cas van der Rest, and Tom Schrijvers
(pdf) -
A Separation Logic for Effect Handlers (POPL 2021)
by Paulo Emílio de Vilhena and François Pottier
(pdf) -
Asynchronous Effects (POPL 2021)
by Danel Ahman and Matija Pretnar
(arxiv) (doi) (pdf)
2020
-
Modular verification of programs with effects and effects handlers (FAOC 2020)
by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet
(doi) -
Not by equations alone: reasoning with extensible effects (JFP 2020)
by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry
(pdf) -
Automatic Reparameterisation of Probabilistic Programs (ICML 2020)
by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman
(pdf) -
Compiling Symbolic Execution with Staging and Algebraic Effects (OOPSLA 2020)
by Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf
(doi) (pdf) -
Composing Effects into Tasks and Workflows (Haskell 2020)
by Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
(doi) (pdf) -
Handling Bidirectional Control Flow (OOPSLA 2020)
Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers
(pdf) -
Degrading Lists (PPDP 2020)
by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu
(doi) (pdf) -
Wasm/k: Delimited Continuations for WebAssembly (DLS 2020)
by Donald Pinckney, Arjun Guha, and Yuriy Brun
(pdf) -
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers (FSCD 2020)
by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
(doi) (pdf) -
A Reflection on Continuation-Composing Style (FSCD 2020)
by Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski
(doi) (pdf) -
Effect Handlers in Haskell, Evidently (Haskell 2020)
by Ningning Xie and Daan Leijen
(pdf) -
Effects as capabilities: effect handlers and lightweight effect polymorphism (OOPSLA 2020)
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
(doi) (pdf) -
One-shot Algebraic Effects as Coroutines (TFP 2020)
by Satoru Kawahara and Yukiyoshi Kameyama
(doi) (pdf) -
Generalized Monoidal Effects And Handlers (JFP 2020)
by Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers
(pdf) -
Signature restriction for polymorphic algebraic effects (ICFP 2020)
by Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi
(pdf) -
Effects for Efficiency: Asymptotic Speedup with First-Class Control (ICFP 2020)
by Daniel Hillerström, Sam Lindley, and John Longley
(arxiv) -
Effect Handlers, Evidently (ICFP 2020)
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
(pdf) -
Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
(doi) (pdf) -
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (JFP 2020)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(pdf) -
Doo bee doo bee doo (JFP 2020)
by Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin
(pdf) -
Effect handlers via generalised continuations (JFP 2020)
by Daniel Hillerström, Sam Lindley, and Robert Atkey
(pdf) -
Runners in action (ESOP 2020)
by Danel Ahman and Andrej Bauer
(arxiv) -
Interaction Trees: Representing Recursive and Impure Programs in Coq (POPL 2020)
by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
(pdf) -
Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers (POPL 2020)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
(pdf) -
Combining predicate transformer semantics for effects: a case study in parsing regular languages (MSFP 2020)
by Anne Baanen and Wouter Swierstra
(pdf) -
From Equations to Distinctions: Two Interpretations of Effectful Computations (MSFP 2020)
by Niels Voorneveld
(pdf) -
Unifying graded and parameterised monads (MSFP 2020)
by Dominic Orchard, Philip Wadler and Harley Eades III
(pdf) -
Local Algebraic Effect Theories (JFP 2020)
by Žiga Lukšič and Matija Pretnar
(doi) (arxiv) -
Explicit Effect Subtyping (JFP 2020)
by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen and Tom Schrijvers
(arxiv) -
The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects (POPL 2020)
by Pierre-Marie Pédrot and Nicolas Tabareau
(pdf)
2019
-
A Sound and Complete Logic for Algebraic Effects (FoSSaCS 2019)
by Cristina Matache and Sam Staton
(pdf) -
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control (JFP, ICFP 2017 special issue)
by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(pdf) -
Dijkstra Monads for All (ICFP 2019)
by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas and Éric Tanter
(pdf) -
A predicate transformer semantics for effects (Functional Pearl) (ICFP 2020)
by Wouter Swierstra and Anne Baanen
(pdf) -
Monad transformers and modular algebraic effects: What binds them together (Haskell 2019)
by Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(pdf) -
A Hierarchy of Monadic Effects for Program Verification using Equational Reasoning (MPC 2019)
by Reynald Affeldt, David Nowak, and Takafumi Saikawa
(pdf) (GitHub) -
Handling Local State with Global State (MPC 2019)
by Koen Pauwels, Tom Schrijvers, and Shin-Cheng Mu
(pdf) -
Bisimulations for Delimited-Control Operators (LMCS 2019)
by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
(pdf) -
Typed equivalence of effect handlers and delimited control (FSCD 2019)
Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
(pdf) -
Handling Polymorphic Algebraic Effects (ESOP 2019)
Taro Sekiyama and Atsushi Igarashi
(arxiv) -
Extended call-by-push-value: reasoning about effectful programs and evaluation order (ESOP 2019)
by Dylan McDermott and Alan Mycroft
(pdf) -
Abstracting Algebraic Effects (POPL 2019)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
(acm dl) (pdf) -
Abstraction-Safe Effect Handlers via Tunneling (POPL 2019)
by Yizhou Zhang and Andrew Myers
(acm dl) (technical report) -
Behavioural Equivalence via Modalities for Algebraic Effects (TOPLAS 2019)
by Alex Simpson and Niels Voorneveld
(pdf)
2018
-
Behavioural Equivalence via Modalities for Algebraic Effects (ESOP 2018)
by Alex Simpson and Niels Voorneveld
(pdf) -
Call-by-need effects via coeffects (Open Computer Science 2018)
by Dylan McDermott and Alan Mycroft
(pdf) -
Pyro: Deep Universal Probabilistic Programming
by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman
(arvix) -
Automatic Reparameterisation in Probabilistic Programming (AABI 2018)
by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman
(pdf) -
Effect Handling for Composable Program Transformations in Edward2 (PROBPROG 2018)
by Dave Moore and Maria I. Gorinova
(arvix) -
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics (MFPS 2018)
by Ohad Kammar and Dylan McDermott
(doi) -
Functional Programming for Modular Bayesian Inference (ICFP 2018)
by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
(pdf) -
JEff: Objects for Effect (Onward 2018)
by Pablo Inostroza and Tijs van der Storm
(acm dl) -
Effect Handlers for the Masses (OOPSLA 2018)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(acm dl) -
Abstract Nonsense (FARM 2018)
by Junia Gonçalves
(acm dl) -
Syntax and Semantics for Operations with Scopes (LICS 2018)
by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff
(pdf) -
First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers (TyDe 2018)
by Daan Leijen
(acm dl) -
Algebraic Effect Handlers with Resources and Deep Finalization (MSR technical report)
by Daan Leijen
(pdf) -
Shallow Effect Handlers (APLAS 2018)
by Daniel Hillerström and Sam Lindley
(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) (pdf) -
Modular Verification of Programs with Effects and Effect Handlers in Coq (FM 2018)
by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet
(metadata, pdf) -
Explicit Effect Subtyping (ESOP 2018)
by Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers
(pdf) (pdf with appendix) (technical report/extended version) -
Handle with Care: Relational Interpretation of Algebraic Effects and Handlers (POPL 2018)
by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
(pdf) (Coq formalisation) -
Handling fibred algebraic effects (POPL 2018)
by Danel Ahman
(pdf)
2017
-
Staged Generic Programming (ICFP 2017)
by Jeremy Yallop
(pdf) -
Concurrent System Programming with Effect Handlers (TFP 2017)
by Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
(pdf) -
Handlers for Non-Monadic Computations (IFL 2017)
by Ruben P. Pieters, Tom Schrijvers, and Exequiel Rivas
(pdf) (technical report/extended version) -
Effekt: Extensible Algebraic Effects in Scala (Scala 2017)
by Jonathan Immanuel Brachthäuser and Philipp Schuster -
Efficient Compilation of Algebraic Effects and Handlers
by Matija Pretnar, Amr Hany Saleh, Axel Faes, and Tom Schrijvers
(technical report) -
Structured asynchrony with algebraic effects (TyDe 2017)
by Daan Leijen
(OpenTOC) (technical report) -
Implementing Algebraic Effects in C (or "Monads for Free in C") (APLAS 2017)
by Daan Leijen
(technical report) (GitHub) -
Continuation Passing Style for Effect Handlers (FSCD 2017)
by Daniel Hillerström, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan
(pdf) -
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control (ICFP 2017)
by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(arxiv) -
Do be do be do (POPL 2017)
by Sam Lindley, Conor McBride, and Craig McLaughlin
(dblp) (bibtex) (arxiv) -
Type directed compilation of row-typed algebraic effects (POPL 2017)
by Daan Leijen
(dblp) (bibtex) -
No value restriction is needed for algebraic effects and handlers (J. Funct. Program. 2017)
by Ohad Kammar and Matija Pretnar
(dblp) (bibtex) (arxiv)
2016
-
Combining Effects and Coeffects via Grading (ICFP 2016)
by Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, and Tarmo Uustalu
(pdf) -
Effects as Sessions, Sessions as Effects (POPL 2016)
by Dominic Orchard and Nobuko Yoshida
(pdf) -
Effect Systems Revisited -- Control-Flow Algebra and Semantics (Semantics, Logics, and Calculi 2016)
by Alan Mycroft, Dominic Orchard, and Tomas Petricek
(pdf) -
Efficient Algebraic Effect Handlers for Prolog (TPLP/ICLP 2016)
by Amr Hany Saleh and Tom Schrijvers
(pdf) -
Eff Directly in OCaml (ML Workshop 2016)
by Oleg Kiselyov and KC Sivaramakrishnan
(pdf) (extended abstract) -
Compiling Links Effect Handlers to the OCaml Backend (ML Workshop 2016)
by Daniel Hillerström, Sam Lindley, and KC Sivaramakrishnan
(pdf) -
Liberating effects with rows and handlers (TyDe 2016)
by Daniel Hillerström and Sam Lindley
(pdf) (dblp) (bibtex) -
Dependent Types and Fibred Computational Effects (FoSSaCS 2016)
by Danel Ahman, Neil Ghani, and Gordon Plotkin
(pdf) (dblp) (bibtex) -
From Monads to Effects and Back (PADL 2016)
by Niki Vazou and Daan Leijen
(pdf)
2015
-
Algebraic Effects, Linearity, and Quantum Programming Languages (POPL 2015)
by Sam Staton
(pdf) -
Effective Concurrency with Algebraic Effects (OCaml Workshop 2015)
by Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy
(pdf) -
Fixing Non-determinism (IFL 2015)
by Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens
(pdf) -
Freer monads, more extensible effects (Haskell 2015)
by Oleg Kiselyov and Hiromi Ishii
(pdf) -
Programming with Algebraic Effects and Handlers (JLAMP 2015)
by Andrej Bauer and Matija Pretnar
(arxiv) (dblp) (bibtex) (doi) -
Fusion for Free: Efficient Algebraic Effect Handlers (MPC 2015)
by Nicolas Wu and Tom Schrijvers
(pdf) -
Interleaving data and effects (JFP 2015)
by Robert Atkey and Patricia Johann
(dblp) (bibtex) (doi) (pdf) -
Stateful Runners of Effectful Computations
by Tarmo Uustalu
(doi)
2014
-
Algebraic Effects and Handlers in Natural Language Interpretation (NLCS 2014)
by Jiří Maršík and Maxime Amblard
(pdf) -
Algebraic effects and effect handlers for idioms and arrows (WGP 2014)
by Sam Lindley
(dblp) (bibtex) (doi) (pdf) -
Effect handlers in scope (Haskell 2014)
by Nicolas Wu, Tom Schrijvers and Ralf Hinze
(pdf) -
Embedding effect systems in Haskell (Haskell 2014)
by Dominic Orchard and Tomas Petricek
(pdf) -
The semantic marriage of monads and effects (extended abstract) (Unpublished, 2014)
by Dominic Orchard, Tomas Petricek and Alan Mycroft
(pdf) -
Inferring algebraic effects (LMCS 2014)
by Matija Pretnar
(arxiv) (dblp) (bibtex) (doi) -
An Effect System for Algebraic Effects and Handlers (LMCS 2014)
by Andrej Bauer and Matija Pretnar
(arxiv) (dblp) (bibtex) (doi)
2013
-
Programming and reasoning with algebraic effects and dependent types (ICFP 2013)
by Edwin Brady
(pdf) -
The constrained-monad problem (ICFP 2013)
by Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill
(doi) (pdf) -
Handlers in action (ICFP 2013)
by Ohad Kammar, Sam Lindley and Nicolas Oury
(pdf) (GitHub) -
Extensible effects: an alternative to monad transformers (Haskell 2013)
by Oleg Kiselyov, Amr Sabry and Cameron Swords
(pdf) -
Handling algebraic effects (LMCS 2013)
by Gordon Plotkin and Matija Pretnar
(arxiv) (dblp) (bibtex) (doi) -
Normalization by Evaluation and Algebraic Effects (MFPS 2013)
by Danel Ahman and Sam Staton
(doi) (pdf)
2012
-
The Frank Manual (2012)
by Conor McBride
(www) -
Control.Effects (2012)
by Sjoerd Visscher -
Koka: A Language with Row-Polymorphic Effect Inference (HOPE 2012)
by Daan Leijen
2011
-
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (ENTCS 2011)
by Sam Lindley, Philip Wadler and Jeremy Yallop -
Lightweight Monadic Programming in ML (ICFP 2011)
by Nikhil Swamy, Nataliya Guts, Daan Leijen and Michael Hicks
(pdf) -
Monads, zippers and views: virtualizing the monad stack (ICFP 2011)
by Tom Schrijvers and Bruno C.d.S. Oliveira -
Just Do It: Simple Monadic Equational Reasoning (ICFP 2011)
by Jeremy Gibbons and Ralf Hinze
2010
-
Monad transformers as monoid transformers (Theor. Comp. Science 2010)
by Mauro Jaskelioff and Eugenio Moggi -
The Operational Monad Tutorial (The Monad Reader, 2010)
by Heinrich Apfelmus
2009
-
Handlers of Algebraic Effects (ESOP 2009)
by Gordon Plotkin and Matija Pretnar
(pdf) -
Parameterised Notions of Computation (JFP 2009)
by Robert Atkey
(pdf) -
Algebras for Parameterised Monads (CALCO 2009)
by Robert Atkey
(pdf)
2008
-
Lightweight Monadic Regions (Haskell 2008)
by Oleg Kiselyov and Chung-chieh Shan -
A Logic for Algebraic Effects (LICS 2008)
by Gordon Plotkin and Matija Pretnar
(pdf) -
What is a Categorical Model of Arrows? (MSFP 2008)
by Robert Atkey
(pdf) -
Data types a la carte (JFP 2008)
by Wouter Swierstra
(pdf)
2007
- Combining algebraic effects with continuations (Theor. Comput. Sci. 2007)
by Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
2006
-
Programming Monads Operationally with Unimo (ICFP 2006)
by Chuan-kai Lin -
Monadic Regions (JFP 2006)
by Matthew Fluet and J. Gregory Morrisett
2003
-
A Monadic Multi-stage Metalanguage (FOSSACS 2003)
by Eugenio Moggi and Sonia Fagorzi
(pdf) -
Algebraic Operations and Generic Effects (Applied categorical structures, 2003)
by Gordon D. Plotkin and John Power
(pdf) -
The Marriage of Effects and Monads (Trans. Comp. Logic, 2003)
by Philip Wadler and Peter Thiemann
2002
-
Composing Monads Using Coproducts (ICFP 2002)
by Christoph Lüth and Neil Ghani -
Notions of computation determine monads (FoSSaCS 2002)
by Gordon D. Plotkin and John Power
2001
-
Monadic Encapsulation of Effects: A Revised Approach (Extended Version) (JFP 2001)
by Eugenio Moggi and Amr Sabry -
Adequacy for algebraic effects (FoSSaCS 2001)
by Gordon D. Plotkin and John Power
2000
-
Deriving Backtracking Monad Transformers (ICFP 2000)
by Ralf Hinze -
Monads and Effects (APPSEM 2000)
by Nick Benton, John Hughes and Eugenio Moggi
1999
- Representing layered monads (POPL 1999)
by Andrzej Filinski
(ps.gz)
1995
-
Monad Transformers and Modular Interpreters (POPL 1995)
by Sheng Liang, Paul Hudak and Mark Jones -
Monads for functional programming (1995)
Philip Wadler
1994
-
Extensible Denotational Language Specifications (TACS 1994)
by Robert Cartwright and Matthias Felleisen
(ps.gz) -
Building interpreters by transforming stratified monads (Unpublished, 1994)
by David Espinosa
(pdf) -
Representing monads (POPL 1994)
by Andrzej Filinski -
Building Interpreters by Composing Monads (POPL 1994)
by Guy L. Steele, Jr. -
Monads and composable continuations (J. Lisp & Symb. Comp. 1994)
by Philip Wadler
1993
-
Imperative Functional Programming (POPL 1993)
by Simon Peyton Jones and Philip Wadler -
Combining Monads (Functional Programming, 1993)
by David J. King and Philip Wadler -
How to Compose Monads (Thinking Machines Corporation tech. report, 1993)
Guy L. Steele, Jr. -
Modular denotational semantics (Unpublished, 1993)
by David Espinosa
(pdf)
1992
- The essence of functional programming (POPL 1992)
by Philip Wadler
1991
- Notions of computation and monads (Information and Computation, 93(1), 1991)
by Eugenio Moggi
(pdf)
1990
-
Comprehending Monads (Lisp and Functional Programming, 1990)
Philip Wadler -
Abstracting Control (LFP 1990)
by Olivier Danvy and Andrzej Filinski
1989
-
Computational lambda-calculus and monads (LICS 1989)
by Eugenio Moggi
(pdf) -
An abstract view of programming languages (Ed. Uni. Tech Report, 1989)
by Eugenio Moggi
1988
-
Polymorphic effect systems (POPL 1988)
by John M. Lucassen and David K. Gifford
(pdf) -
The FX-87 Interpreter (ICCL 1988)
by Pierre Jouvelot and David K. Gifford
(doi)
Theses and Dissertations
2021
- Extending Effekt with Bidirectional Effects (MSc Dissertation, Tokyo Institute of Technology)
by Kazuki Niimi
(pdf)
2020
-
Applications of Algebraic Effect Theories (PhD Dissertation, University of Ljubljana)
by Žiga Lukšič
(pdf) -
Asynchronous Effect Handling (MSc Dissertation, The University of Edinburgh)
by Leo Poulson
(pdf) -
Relational Reasoning for Effects and Handlers (PhD Dissertation, The University of Edinburgh)
by Craig McLaughlin
(doi) (pdf) -
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages (PhD Dissertation, University of Tübingen)
by Jonathan Immanuel Brachthäuser
(pdf)
2019
-
Efficient Algebraic Effect Handlers (PhD Dissertation, KU Leuven)
by Amr Hany Saleh
(pdf) -
Program Equivalence for Algebraic Effects via Modalities (MSc Dissertation, University of Oxford)
by Cristina Matache
(pdf) -
Defined Algebraic Operations (PhD Dissertation, University of Birmingham)
by Bram Geron
(pdf)
2017
-
Distributive Interaction of Algebraic Effects (PhD Dissertation, University of Oxford)
by Kwok-Ho Cheung
(pdf) -
Enhancing a Modular Effectful Programming Language (MSc Dissertation, The University of Edinburgh)
by Lukas Convent
(pdf) -
Fibred Computational Effects (PhD Dissertation, The University of Edinburgh)
by Danel Ahman
(pdf)
2016
-
Compilation of Effect Handlers and their Applications in Concurrency (MSc Dissertation, The University of Edinburgh)
by Daniel Hillerström
(pdf) -
On the expressive power of effect handlers and monadic reflection (MSc Dissertation, University of Cambridge)
by Yannick Forster
(pdf)
2015
- Handlers for Algebraic Effects in Links (MSc Dissertation, The University of Edinburgh)
by Daniel Hillerström
(pdf)
2010
- The Logic and Handling of Algebraic Effects (PhD Dissertation, The University of Edinburgh)
by Matija Pretnar
(pdf)
1996
- Controlling Effects (PhD Dissertation, Carnegie Mellon University)
by Andrzej Filinski
(dvi.gz) (ps.gz)
1995
- Semantic Lego (PhD Dissertation, Columbia University)
by David Espinosa
(pdf) (pdf slides)
1987
- Types and Effects — Towards the Integration of Functional and Imperative Programming (PhD Dissertation, MIT)
by John M. Lucassen
(pdf)