Awesome

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
  (GitHub)

• Desk: A statically-typed functional language with an effect system based on set-operation
  by Ryo Hirayama from Hihaheho Studio
  (GitHub) (an effects tutorial article)

• 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
  (GitHub)

• Effects.js: algebraic effects for Javascript based on Koka and Eff
  by Jason Butler
  (GitHub)

• Effekt Language: A language with lexical 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
  (GitHub)

• 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)

• Flix: a functional programming language with effects and handlers, with inference based on Boolean unification
  by Magnus Madsen, Matthew Lutze, and Jonathan Lindegaard Starup
  (www) (GitHub)

• Fram: programming language with lexically-scoped effect handlers and generalized labelled parameters
  by Patrycja Balik and Piotr Polesiuk
  (GitHub)

• Frank: programming language with first-class handlers, invisible effect variables, and multihandlers
  by Sam Lindley, Conor McBride, and Craig McLaughlin
  (GitHub)

• Freak: a programming language with coalgebraic effects and cohandlers
  by Mateusz Urbańczyk
  (GitHub)

• Fused effects: a Haskell library for effects
  by Rob Rix
  (hackage) (GitHub)

• 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)

• 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
  (GitHub)

• Links effect handlers: an effect handlers extension for the Links web programming language
  by Daniel Hillerström and Sam Lindley
  (www) (GitHub)

• Multicore OCaml: a multicore + effect handlers extension for OCaml
  by Stephen Dolan, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White, and Jeremy Yallop
  (GitHub) (now incorporated into OCaml 5+)

• Polysemy: a Haskell library for effects
  by Sandy Maguire
  (hackage) (GitHub)

• 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
  (GitHub)

• Unison: a programming language with effects called abilities, inspired by Frank
  by Unison Computing
  (www) (GitHub)

• WasmFXtime: A fork of Wasmtime extended with support for effect handlers
  by Luna Phipps-Costin, Frank Emrich, and Daniel Hillerström
  (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)

• cpp-effects: effect handlers in C++
  by Maciej Piróg
  (GitHub)

• libhandler: an implementation of algebraic effects and handlers in portable C99
  by Daan Leijen
  (GitHub)

• libmprompt: robust multi-prompt delimited control and effect handlers in C/C++
  by Daan Leijen
  (GitHub)

• effects: An experimental C++ runtime effect system by Michael Truog
  (GitHub)

• multicont: continuations with multi-shot semantics in OCaml
  by Daniel Hillerström
  (GitHub)

• shonky: a dynamically typed variant of Frank with C-like syntax
  by Conor McBride
  (GitHub)

• Turbolift: algebraic effects for Scala 3
  by Marcin Żebrowski
  (www) (GitHub)

• Enterprise: library for creating HTTP services using algebraic effects and handlers (Turbolift)
  by Marcin Żebrowski
  (GitHub)

Tutorials

2022

• Effect-Handler Oriented Programming (lecture given at SPLV)
  by Sam Lindley
  (YouTube) (slides)

• Effect handler oriented programming (lecture series given at OPLSS)
  by Sam Lindley
  (Videos: 1, 2, 3, 4)
  (Notes: 1, 2, 3, 4)

2018

• What is algebraic about algebraic effects and handlers? (tutorial given at Dagstuhl and OPLSS)
  by Andrej Bauer
  (doi) (dblp) (bibtex) (arxiv) (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. Invited tutorial paper (MFPS 2015)
  by Matija Pretnar
  (doi) (dblp) (bibtex) (pdf)

Papers

2024

• Lexical Effect Handlers, Directly (OOPSLA 2024)
  by Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang
  (doi) (dblp) (bibtex) (pdf)

• Specification and Verification for Unrestricted Algebraic Effects and Handling (ICFP 2024)
  by Yahui Song, Darius Foo, and Wei-Ngan Chin
  (doi) (pdf)

• Asymptotic speedup via effect handlers (JFP 2024)
  by Daniel Hillerström, Sam Lindley, and John Longley
  (doi) (dblp) (bibtex) (pdf)

• Active Objects Based on Algebraic Effects (Active Object Languages: Current Research Trends)
  by Martin Andrieux, Ludovic Henrio, and Gabriel Radanne
  (doi) (dblp) (bibtex) (pdf)

• Soundly Handling Linearity (POPL 2024)
  by Wenhao Tang, Daniel Hillerström, Sam Lindley, and J. Garrett Morris
  (doi) (dblp) (bibtex) (pdf)

• On Model-Checking Higher-Order Effectful Programs (POPL 2024)
  by Ugo Dal Lago and Alexis Ghyselen
  (doi) (dblp) (bibtex) (pdf) (arxiv (extended version)) (pdf (extended version))

• Effectful Software Contracts (POPL 2024)
  by Cameron Moy, Christos Dimoulas, and Matthias Felleisen
  (doi) (dblp) (bibtex) (pdf)

• An Intrinsically Typed Compiler for Algebraic Effect Handlers (PEPM 2024)
  by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
  (doi) (dblp) (bibtex) (pdf)

• Associated Effects: Flexible Abstractions for Effectful Programming (PLDI 2024)
  by Matthew Lutze and Magnus Madsen
  (doi) (dblp) (bibtex) (pdf)

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) (dblp) (bibtex) (pdf) (Coq formalisation)

• 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) (dblp) (bibtex) (pdf)

• 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) (dblp) (bibtex) (arxiv) (pdf)

• Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators (PPDP 2023)
  by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara
  (doi) (dblp) (bibtex) (pdf)

• Error Localization for Sequential Effect Systems (SAS 2023)
  by Colin S. Gordon and Chaewon Yun
  (doi) (dblp) (bibtex)

• A General Fine-Grained Reduction Theory for Effect Handlers (ICFP 2023)
  by Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
  (doi) (dblp) (bibtex) (pdf)

• With or Without You: Programming with Effect Exclusion (ICFP 2023)
  by Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
  (doi) (dblp) (bibtex) (pdf)

• A Type System for Effect Handlers and Dynamic Labels (ESOP 2023)
  by Paulo Emílio de Vilhena and François Pottier
  (doi) (dblp) (bibtex) (pdf) (Coq formalisation)

• Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects (POPL 2023)
  by Casper Bach Poulsen and Cas van der Rest
  (doi) (dblp) (bibtex) (pdf)

• Towards a Reflection for Effect Handlers (PEPM 2023)
  by Youyou Cong and Kenichi Asai
  (doi) (dblp) (bibtex)

2022

• Category-Graded Algebraic Theories and Effect Handlers (MFPS 2022)
  by Takahiro Sanada
  (doi) (dblp) (bibtex) (pdf)

• Modular probabilistic models via algebraic effects (ICFP 2022)
  by Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu
  (doi) (dblp) (bibtex) (pdf)

• Automated Temporal Verification for Algebraic Effects (APLAS 2022)
  by Yahui Song, Darius Foo, and Wei-Ngan Chin
  (doi) (dblp) (bibtex) (pdf)

• An Algebraic Theory for Shared-State Concurrency (APLAS 2022)
  by Yotam Dvir, Ohad Kammar, and Ori Lahav
  (doi) (dblp) (bibtex) (pdf)

• First-class names for effect handlers (OOPSLA 2022)
  by Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
  (doi) (dblp) (bibtex) (pdf)

• High-level effect handlers in C++ (OOPSLA 2022)
  by Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
  (doi) (dblp) (bibtex) (pdf)

• Algebraic Effects for Extensible Dynamic Semantics (Journal of Logic, Language and Information)
  by Julian Grove and Jean-Philippe Bernardy
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex) (pdf)

• Structured Handling of Scoped Effects (ESOP 2022)
  by Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, and Tom Schrijvers
  (doi) (dblp) (bibtex) (pdf) (arxiv (extended version)) (pdf (extended version))

• 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) (dblp) (bibtex) (pdf)

2021

• Efficient compilation of algebraic effect handlers (OOPSLA 2021)
  by Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
  (doi) (dblp) (bibtex) (pdf)

• Latent Effects for Reusable Language Components (APLAS 2021)
  by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu
  (doi) (dblp) (bibtex) (arxiv (extended version)) (pdf (extended version))

• Composing UNIX with Effect Handlers (ML Workshop 2021)
  by Daniel Hillerström
  (pdf)

• Safe mutation with algebraic effects (Haskell 2021)
  by Hashan Punchihewa and Nicolas Wu
  (doi) (dblp) (bibtex) (pdf)

• Contextual modal types for algebraic effects and handlers (ICFP 2021)
  by Nikita Zyuzin and Aleksandar Nanevski
  (doi) (dblp) (bibtex) (pdf)

• Reasoning about effect interaction by fusion (ICFP 2021)
  by Zhixuan Yang and Nicolas Wu
  (doi) (dblp) (bibtex) (pdf) (extended pdf)

• Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C (ICFP 2021)
  by Ningning Xie and Daan Leijen
  (doi) (dblp) (bibtex) (pdf)

• A Functional Abstraction of Typed Invocation Contexts (FSCD 2021)
  by Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai
  (doi) (dblp) (bibtex) (pdf)

• Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators (FSCD 2021)
  by Maika Fujii and Kenichi Asai
  (doi) (dblp) (bibtex) (pdf)

• Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) (TyDe 2021)
  by Kazuki Niimi, Youyou Cong, and Jonathan Immanuel Brachthäuser
  (pdf)

• Formalising Algebraic Effects with Non-Recoverable Failure (HOPE 2021)
  by Timotej Tomandl and Dominic Orchard
  (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 K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Polymorphic Iterable Sequential Effect Systems (TOPLAS 2021)
  by Colin S. Gordon
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Automatic Differentiation via Effects and Handlers: An Implementation in Frank (PEPM 2021)
  by Jesse Sigal
  (dblp) (bibtex) (arxiv) (pdf)

• 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
  (doi) (dblp) (bibtex) (pdf) (Coq formalisation)

• Asynchronous effects (POPL 2021)
  by Danel Ahman and Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

2020

• Graded Algebraic Theories (FoSSaCS 2020)
  by Satoshi Kura
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex)

• Not by equations alone: Reasoning with extensible effects (JFP 2020)
  by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry
  (doi) (dblp) (bibtex) (pdf)

• Automatic Reparameterisation of Probabilistic Programs (ICML 2020)
  by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman
  (dblp) (bibtex) (pdf)

• Compiling symbolic execution with staging and algebraic effects (OOPSLA 2020)
  by Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf
  (doi) (dblp) (bibtex) (pdf)

• Composing effects into tasks and workflows (Haskell 2020)
  by Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
  (doi) (dblp) (bibtex) (pdf)

• Handling bidirectional control flow (OOPSLA 2020)
  by Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers
  (doi) (dblp) (bibtex) (pdf)

• Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl) (ECOOP 2020)
  by Colin S. Gordon
  (doi) (dblp) (bibtex) (pdf)

• Lifting Sequential Effects to Control Operators (ECOOP 2020)
  by Colin S. Gordon
  (doi) (dblp) (bibtex) (pdf)

• Degrading Lists (PPDP 2020)
  by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu
  (doi) (dblp) (bibtex) (pdf)

• Wasm/k: delimited continuations for WebAssembly (DLS 2020)
  by Donald Pinckney, Arjun Guha, and Yuriy Brun
  (doi) (dblp) (bibtex) (pdf)

• A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers (FSCD 2020)
  by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
  (doi) (dblp) (bibtex) (pdf)

• A Reflection on Continuation-Composing Style (FSCD 2020)
  by Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski
  (doi) (dblp) (bibtex) (pdf)

• Effect handlers in Haskell, evidently (Haskell 2020)
  by Ningning Xie and Daan Leijen
  (doi) (dblp) (bibtex) (pdf)

• Effects as capabilities: effect handlers and lightweight effect polymorphism (OOPSLA 2020)
  by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
  (doi) (dblp) (bibtex) (pdf)

• One-Shot Algebraic Effects as Coroutines (TFP 2020)
  by Satoru Kawahara and Yukiyoshi Kameyama
  (doi) (dblp) (bibtex) (pdf)

• Generalized monoidal effects and handlers (JFP 2020)
  by Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers
  (doi) (dblp) (bibtex) (pdf)

• Signature restriction for polymorphic algebraic effects (ICFP 2020)
  by Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Effects for efficiency: asymptotic speedup with first-class control (ICFP 2020)
  by Daniel Hillerström, Sam Lindley, and John Longley
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Effect handlers, evidently (ICFP 2020)
  by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
  (doi) (dblp) (bibtex) (pdf)

• Compiling effect handlers in capability-passing style (ICFP 2020)
  by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
  (doi) (dblp) (bibtex) (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
  (doi) (dblp) (bibtex) (pdf)

• Doo bee doo bee doo (JFP 2020)
  by Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin
  (doi) (dblp) (bibtex) (pdf)

• Effect handlers via generalised continuations (JFP 2020)
  by Daniel Hillerström, Sam Lindley, and Robert Atkey
  (doi) (dblp) (bibtex) (pdf)

• Runners in Action (ESOP 2020)
  by Danel Ahman and Andrej Bauer
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Interaction trees: representing recursive and impure programs in Coq (POPL 2020)
  by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic
  (doi) (dblp) (bibtex) (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
  (doi) (dblp) (bibtex) (pdf)

• Combining predicate transformer semantics for effects: a case study in parsing regular languages (MSFP 2020)
  by Anne Baanen and Wouter Swierstra
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• From Equations to Distinctions: Two Interpretations of Effectful Computations (MSFP 2020)
  by Niels F. W. Voorneveld
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Unifying graded and parameterised monads (MSFP 2020)
  by Dominic Orchard, Philip Wadler, and Harley Eades III
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Local algebraic effect theories (JFP 2020)
  by Žiga Lukšič and Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Explicit effect subtyping (JFP 2020)
  by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• The fire triangle: how to mix substitution, dependent elimination, and effects (POPL 2020)
  by Pierre-Marie Pédrot and Nicolas Tabareau
  (doi) (dblp) (bibtex) (pdf)

2019

• A Sound and Complete Logic for Algebraic Effects (FoSSaCS 2019)
  by Cristina Matache and Sam Staton
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex) (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) (dblp) (bibtex) (arxiv) (pdf)

• A predicate transformer semantics for effects (functional pearl) (ICFP 2019)
  by Wouter Swierstra and Anne Baanen
  (doi) (dblp) (bibtex) (pdf)

• Monad transformers and modular algebraic effects: what binds them together (Haskell 2019)
  by Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
  (doi) (dblp) (bibtex) (pdf)

• A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning (MPC 2019)
  by Reynald Affeldt, David Nowak, and Takafumi Saikawa
  (doi) (dblp) (bibtex) (pdf) (GitHub)

• Handling Local State with Global State (MPC 2019)
  by Koen Pauwels, Tom Schrijvers, and Shin-Cheng Mu
  (doi) (dblp) (bibtex) (pdf)

• Bisimulations for Delimited-Control Operators (LMCS 2019)
  by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
  (doi) (dblp) (bibtex) (pdf)

• Typed Equivalence of Effect Handlers and Delimited Control (FSCD 2019)
  by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
  (doi) (dblp) (bibtex) (pdf)

• Handling Polymorphic Algebraic Effects (ESOP 2019)
  by Taro Sekiyama and Atsushi Igarashi
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order (ESOP 2019)
  by Dylan McDermott and Alan Mycroft
  (doi) (dblp) (bibtex) (pdf)

• Abstracting algebraic effects (POPL 2019)
  by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
  (doi) (dblp) (bibtex) (pdf)

• Abstraction-safe effect handlers via tunneling (POPL 2019)
  by Yizhou Zhang and Andrew C. Myers
  (doi) (dblp) (bibtex) (technical report)

• Behavioural Equivalence via Modalities for Algebraic Effects (TOPLAS 2019)
  by Alex Simpson and Niels F. W. Voorneveld
  (doi) (dblp) (bibtex) (pdf)

2018

• Behavioural Equivalence via Modalities for Algebraic Effects (ESOP 2018)
  by Alex Simpson and Niels F. W. Voorneveld
  (doi) (dblp) (bibtex) (pdf)

• Call-by-need effects via coeffects (Open Computer Science 2018)
  by Dylan McDermott and Alan Mycroft
  (doi) (dblp) (bibtex) (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) (bibtex) (arxiv) (pdf)

• 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
  (dblp) (bibtex) (arxiv) (pdf)

• Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics (MFPS 2018)
  by Ohad Kammar and Dylan McDermott
  (doi) (dblp) (bibtex)

• Functional programming for modular Bayesian inference (ICFP 2018)
  by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
  (doi) (dblp) (bibtex) (pdf)

• JEff: objects for effect (Onward 2018)
  by Pablo Inostroza and Tijs van der Storm
  (doi) (dblp) (bibtex) (pdf)

• Effect handlers for the masses (OOPSLA 2018)
  by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
  (doi) (dblp) (bibtex) (pdf)

• Abstract nonsense (FARM 2018)
  by Junia Gonçalves
  (doi) (dblp) (bibtex)

• Syntax and Semantics for Operations with Scopes (LICS 2018)
  by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff
  (doi) (dblp) (bibtex) (pdf)

• First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers (TyDe 2018)
  by Daan Leijen
  (doi) (dblp) (bibtex)

• 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
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex) (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) (dblp) (bibtex) (metadata) (pdf)

• Explicit Effect Subtyping (ESOP 2018)
  by Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers
  (doi) (dblp) (bibtex) (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
  (doi) (dblp) (bibtex) (pdf) (Coq formalisation)

• Handling fibred algebraic effects (POPL 2018)
  by Danel Ahman
  (doi) (dblp) (bibtex) (pdf)

2017

• Staged generic programming (ICFP 2017)
  by Jeremy Yallop
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex) (pdf)

• Handlers for Non-Monadic Computations (IFL 2017)
  by Ruben P. Pieters, Tom Schrijvers, and Exequiel Rivas
  (doi) (dblp) (bibtex) (pdf) (technical report/extended version)

• Effekt: extensible algebraic effects in Scala (short paper) (Scala 2017)
  by Jonathan Immanuel Brachthäuser and Philipp Schuster
  (doi) (dblp) (bibtex)

• Efficient Compilation of Algebraic Effects and Handlers (2017)
  by Matija Pretnar, Amr Hany Saleh, Axel Faes, and Tom Schrijvers
  (technical report)

• Structured asynchrony with algebraic effects (TyDe 2017)
  by Daan Leijen
  (doi) (dblp) (bibtex) (OpenTOC) (technical report)

• Implementing Algebraic Effects in C - "Monads for Free in C" (APLAS 2017)
  by Daan Leijen
  (doi) (dblp) (bibtex) (technical report) (GitHub)

• Continuation Passing Style for Effect Handlers (FSCD 2017)
  by Daniel Hillerström, Sam Lindley, Robert Atkey, and K. C. Sivaramakrishnan
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex) (arxiv) (pdf)

• A Generic Approach to Flow-Sensitive Polymorphic Effects (ECOOP 2017)
  by Colin S. Gordon
  (doi) (dblp) (bibtex) (pdf)

• Do be do be do (POPL 2017)
  by Sam Lindley, Conor McBride, and Craig McLaughlin
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Type directed compilation of row-typed algebraic effects (POPL 2017)
  by Daan Leijen
  (doi) (dblp) (bibtex)

• No value restriction is needed for algebraic effects and handlers (J. Funct. Program. 2017)
  by Ohad Kammar and Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

2016

• Accepting blame for safe tunneled exceptions (PLDI 2016)
  by Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers
  (doi) (dblp) (bibtex) (pdf)

• Combining effects and coeffects via grading (ICFP 2016)
  by Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu
  (doi) (dblp) (bibtex) (pdf)

• Effects as sessions, sessions as effects (POPL 2016)
  by Dominic A. Orchard and Nobuko Yoshida
  (doi) (dblp) (bibtex) (pdf)

• Effect Systems Revisited - Control-Flow Algebra and Semantics (Semantics, Logics, and Calculi 2016)
  by Alan Mycroft, Dominic A. Orchard, and Tomas Petricek
  (doi) (dblp) (bibtex) (pdf)

• Efficient algebraic effect handlers for Prolog (TPLP/ICLP 2016)
  by Amr Hany Saleh and Tom Schrijvers
  (doi) (dblp) (bibtex) (pdf)

• Eff Directly in OCaml (ML Workshop 2016)
  by Oleg Kiselyov and K. C. Sivaramakrishnan
  (doi) (dblp) (bibtex) (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
  (doi) (dblp) (bibtex) (pdf)

• Dependent Types and Fibred Computational Effects (FoSSaCS 2016)
  by Danel Ahman, Neil Ghani, and Gordon D. Plotkin
  (doi) (dblp) (bibtex) (pdf)

• From Monads to Effects and Back (PADL 2016)
  by Niki Vazou and Daan Leijen
  (doi) (dblp) (bibtex) (pdf)

2015

• Algebraic Effects, Linearity, and Quantum Programming Languages (POPL 2015)
  by Sam Staton
  (doi) (dblp) (bibtex) (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
  (doi) (dblp) (bibtex) (pdf)

• Customizable gradual polymorphic effects for Scala (OOPSLA 2015)
  by Matías Toro and Éric Tanter
  (doi) (dblp) (bibtex)

• Freer monads, more extensible effects (Haskell 2015)
  by Oleg Kiselyov and Hiromi Ishii
  (doi) (dblp) (bibtex) (pdf)

• Programming with algebraic effects and handlers (JLAMP 2015)
  by Andrej Bauer and Matija Pretnar
  (doi) (dblp) (bibtex) (pdf)

• Fusion for Free - Efficient Algebraic Effect Handlers (MPC 2015)
  by Nicolas Wu and Tom Schrijvers
  (doi) (dblp) (bibtex) (pdf)

• Interleaving data and effects (JFP 2015)
  by Robert Atkey and Patricia Johann
  (doi) (dblp) (bibtex) (pdf)

• Stateful Runners of Effectful Computations (MFPS 2015)
  by Tarmo Uustalu
  (doi) (dblp) (bibtex)

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
  (doi) (dblp) (bibtex) (pdf)

• A theory of gradual effect systems (ICFP 2014)
  by Felipe Bañados Schwerter, Ronald Garcia, and Éric Tanter
  (doi) (dblp) (bibtex)

• Effect handlers in scope (Haskell 2014)
  by Nicolas Wu, Tom Schrijvers, and Ralf Hinze
  (doi) (dblp) (bibtex) (pdf)

• Embedding effect systems in Haskell (Haskell 2014)
  by Dominic A. Orchard and Tomas Petricek
  (doi) (dblp) (bibtex) (pdf)

• The semantic marriage of monads and effects (Unpublished, 2014)
  by Dominic A. Orchard, Tomas Petricek, and Alan Mycroft
  (dblp) (bibtex) (arxiv) (pdf)

• Inferring Algebraic Effects (LMCS 2014)
  by Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• An Effect System for Algebraic Effects and Handlers (LMCS 2014)
  by Andrej Bauer and Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Parametric effect monads and semantics of effect systems (POPL 2014)
  by Shin-ya Katsumata
  (doi) (dblp) (bibtex)

2013

• Programming and reasoning with algebraic effects and dependent types (ICFP 2013)
  by Edwin C. Brady
  (doi) (dblp) (bibtex) (pdf)

• The constrained-monad problem (ICFP 2013)
  by Neil Sculthorpe, Jan Bracker, George Giorgidze, and Andy Gill
  (doi) (dblp) (bibtex) (pdf)

• Handlers in action (ICFP 2013)
  by Ohad Kammar, Sam Lindley, and Nicolas Oury
  (doi) (dblp) (bibtex) (pdf) (GitHub)

• Extensible effects: an alternative to monad transformers (Haskell 2013)
  by Oleg Kiselyov, Amr Sabry, and Cameron Swords
  (doi) (dblp) (bibtex) (pdf)

• Java UI : Effects for Controlling UI Object Access (ECOOP 2013)
  by Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman
  (doi) (dblp) (bibtex) (pdf)

• Handling Algebraic Effects (LMCS 2013)
  by Gordon D. Plotkin and Matija Pretnar
  (doi) (dblp) (bibtex) (arxiv) (pdf)

• Normalization by Evaluation and Algebraic Effects (MFPS 2013)
  by Danel Ahman and Sam Staton
  (doi) (dblp) (bibtex) (pdf)

• The sequential semantics of producer effect systems (POPL 2013)
  by Ross Tate
  (doi) (dblp) (bibtex)

2012

• Lightweight Polymorphic Effects (ECOOP 2012)
  by Lukas Rytz, Martin Odersky, and Philipp Haller
  (doi) (dblp) (bibtex)

• 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
  (doi) (dblp) (bibtex)

• Lightweight monadic programming in ML (ICFP 2011)
  by Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks
  (doi) (dblp) (bibtex) (pdf)

• Monads, zippers and views: virtualizing the monad stack (ICFP 2011)
  by Tom Schrijvers and Bruno C. d. S. Oliveira
  (doi) (dblp) (bibtex)

• Just do it: simple monadic equational reasoning (ICFP 2011)
  by Jeremy Gibbons and Ralf Hinze
  (doi) (dblp) (bibtex)

2010

• Monad transformers as monoid transformers (Theor. Comp. Science 2010)
  by Mauro Jaskelioff and Eugenio Moggi
  (doi) (dblp) (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) (dblp) (bibtex) (pdf)

• Parameterised notions of computation (JFP 2009)
  by Robert Atkey
  (doi) (dblp) (bibtex) (pdf)

• Algebras for Parameterised Monads (CALCO 2009)
  by Robert Atkey
  (doi) (dblp) (bibtex) (pdf)

2008

• Lightweight monadic regions (Haskell 2008)
  by Oleg Kiselyov and Chung-chieh Shan
  (doi) (dblp) (bibtex)

• A Logic for Algebraic Effects (LICS 2008)
  by Gordon D. Plotkin and Matija Pretnar
  (doi) (dblp) (bibtex) (pdf)

• What is a Categorical Model of Arrows? (MSFP 2008)
  by Robert Atkey
  (doi) (dblp) (bibtex) (pdf)

• Data types à la carte (JFP 2008)
  by Wouter Swierstra
  (doi) (dblp) (bibtex) (pdf)

• Types and trace effects of higher order programs (JFP 2008)
  by Christian Skalka, Scott F. Smith, and David Van Horn
  (doi) (dblp) (bibtex)

2007

• Combining algebraic effects with continuations (Theor. Comput. Sci. 2007)
  by Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power
  (doi) (dblp) (bibtex)

2006

• Programming monads operationally with Unimo (ICFP 2006)
  by Chuan-Kai Lin
  (doi) (dblp) (bibtex)

• Monadic regions (JFP 2006)
  by Matthew Fluet and J. Gregory Morrisett
  (doi) (dblp) (bibtex)

2003

• A Monadic Multi-stage Metalanguage (FOSSACS 2003)
  by Eugenio Moggi and Sonia Fagorzi
  (doi) (dblp) (bibtex) (pdf)

• Algebraic Operations and Generic Effects (Applied categorical structures, 2003)
  by Gordon D. Plotkin and John Power
  (doi) (dblp) (bibtex) (pdf)

• The marriage of effects and monads (Trans. Comp. Logic, 2003)
  by Philip Wadler and Peter Thiemann
  (doi) (dblp) (bibtex)

2002

• Composing monads using coproducts (ICFP 2002)
  by Christoph Lüth and Neil Ghani
  (doi) (dblp) (bibtex)

• Notions of Computation Determine Monads (FoSSaCS 2002)
  by Gordon D. Plotkin and John Power
  (doi) (dblp) (bibtex)

2001

• Monadic encapsulation of effects: a revised approach (extended version) (JFP 2001)
  by Eugenio Moggi and Amr Sabry
  (doi) (dblp) (bibtex)

• Adequacy for Algebraic Effects (FoSSaCS 2001)
  by Gordon D. Plotkin and John Power
  (doi) (dblp) (bibtex)

2000

• Deriving backtracking monad transformers (ICFP 2000)
  by Ralf Hinze
  (doi) (dblp) (bibtex)

• Monads and Effects (APPSEM 2000)
  by Nick Benton, John Hughes, and Eugenio Moggi
  (doi) (dblp) (bibtex)

1999

• Representing Layered Monads (POPL 1999)
  by Andrzej Filinski
  (doi) (dblp) (bibtex) (ps.gz)

1995

• Monad Transformers and Modular Interpreters (POPL 1995)
  by Sheng Liang, Paul Hudak, and Mark P. Jones
  (doi) (dblp) (bibtex)

• Monads for Functional Programming (1995)
  by Philip Wadler
  (doi) (dblp) (bibtex)

1994

• Extensible Denotational Language Specifications (TACS 1994)
  by Robert Cartwright and Matthias Felleisen
  (doi) (dblp) (bibtex) (ps.gz)

• Building interpreters by transforming stratified monads (Unpublished, 1994)
  by David Espinosa
  (pdf)

• Representing Monads (POPL 1994)
  by Andrzej Filinski
  (doi) (dblp) (bibtex)

• Building Interpreters by Composing Monads (POPL 1994)
  by Guy L. Steele Jr.
  (doi) (dblp) (bibtex)

• Monads and Composable Continuations (J. Lisp & Symb. Comp. 1994)
  by Philip Wadler
  (dblp) (bibtex)

1993

• Imperative Functional Programming (POPL 1993)
  by Simon L. Peyton Jones and Philip Wadler
  (doi) (dblp) (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)

1992

• Combining Monads (Functional Programming, 1992)
  by David J. King and Philip Wadler
  (doi) (dblp) (bibtex)

• The Essence of Functional Programming (POPL 1992)
  by Philip Wadler
  (doi) (dblp) (bibtex)

1991

• Notions of Computation and Monads (Information and Computation, 93(1), 1991)
  by Eugenio Moggi
  (doi) (dblp) (bibtex) (pdf)

1990

• Comprehending Monads (Lisp and Functional Programming, 1990)
  by Philip Wadler
  (doi) (dblp) (bibtex)

• Abstracting Control (LFP 1990)
  by Olivier Danvy and Andrzej Filinski
  (doi) (dblp) (bibtex)

1989

• Computational Lambda-Calculus and Monads (LICS 1989)
  by Eugenio Moggi
  (doi) (dblp) (bibtex) (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) (dblp) (bibtex)

• The FX-87 Interpreter (ICCL 1988)
  by Pierre Jouvelot and David K. Gifford
  (doi) (dblp) (bibtex)

Theses and Dissertations

2024

• Relational Models for a Language with Effect Capabilities (MSc Dissertation, University of Wrocław)
  by Patrycja Balik
  (pdf) (YouTube)

• Algebraic Effects and Handlers for Arrows (PhD Dissertation, Kyoto University)
  by Takahiro Sanada
  (pdf)

2023

• Elaine: Elaboration of Higher-Order Effects as First-Class Language Feature (MSc Dissertation, TU Delft)
  by Terts Diepraam
  (pdf)

• Deriving Effect Handler Semantics (MSc Dissertation, TU Delft)
  by Chris Lemaire
  (pdf)

• Concurrent Structures and Effect Handlers: A Batch Made in Heaven (BSc Dissertation, Yale NUS College)
  by Lee Koon Wen
  (pdf)

2022

• Algebraic Effect Instance Scopes (BSc Dissertation, University of Wroclaw)
  by Patrycja Balik
  (pdf)

• Comprehending Pure Functional Effect Systems (MSc Dissertation, University of Oxford)
  by Daniel Tattan-Birch
  (pdf) (Summary post)

2021

• Foundations for Programming and Implementing Effect Handlers (PhD Dissertation, The University of Edinburgh)
  by Daniel Hillerström
  (pdf) (GitHub)

• Extending Effekt with Bidirectional Effects (MSc Dissertation, Tokyo Institute of Technology)
  by Kazuki Niimi
  (pdf)

2020

• Linear Frank (BSc Dissertation, The University of New South Wales)
  by James Treloar
  (pdf)

• 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) (dblp) (bibtex) (pdf)

• Design and Implementation of Effect Handlers for Object-Oriented Programming Languages (PhD Dissertation, University of Tübingen)
  by Jonathan Immanuel Brachthäuser
  (dblp) (bibtex)

2019

• A Type System for Dynamic Instances (MSc Dissertation, TU Delft)
  by Albert ten Napel
  (pdf)

• 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
  (dblp) (bibtex) (pdf)

2018

• Algebraic Subtyping for Algebraic Effects and Handlers (MSc Dissertation, KU Leuven)
  by Alex Faes
  (pdf)

2017

• Distributive interaction of algebraic effects (PhD Dissertation, University of Oxford)
  by Kwok-Ho Cheung
  (dblp) (bibtex) (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
  (dblp) (bibtex) (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

• Logic and handling of algebraic effects (PhD Dissertation, The University of Edinburgh)
  by Matija Pretnar
  (dblp) (bibtex) (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)

Status of links at last commit: