Skip to content

yallop/effects-bibliography

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.

Effects bibliography

A collection of research papers and other resources related to the theory and practice of computational effects.

Instructions

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)

  • Freak: a programming language with coalgebraic effects and cohandlers
    by Mateusz Urbańczyk
    (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)

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

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

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

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

Tutorials

2022

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

2018

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

2022

  • Algebraic effects for extensible dynamic semantics (Journal of Logic, Language and Information)
    by Julian Grove and Jean-Philippe Bernardy
    (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) (pdf)

  • Structured Handling of Scoped Effects (ESOP 2022)
    by Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, and Tom Schrijvers
    (pdf) (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
    (pdf)

2021

  • Efficient Compilation of Algebraic Effect Handlers (OOPSLA 2021)
    by Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
    (doi) (pdf)

  • Latent Effects for Resuable Language Components (APLAS 2021)
    by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu
    (doi) (arxiv) (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) (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
    (doi) (pdf) (extended pdf)

  • Generalized Evidence Passing for Effect Handlers (ICFP 2021)
    by Ningning Xie and Daan Leijen
    (doi) (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)

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

  • 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

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

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)

Status of links at last commit: Build Status

About

A collaborative bibliography of work related to the theory and practice of computational effects

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published