{"id":13516170,"url":"https://github.com/yallop/effects-bibliography","last_synced_at":"2026-02-22T16:35:06.111Z","repository":{"id":5872443,"uuid":"54132767","full_name":"yallop/effects-bibliography","owner":"yallop","description":"A collaborative bibliography of work related to the theory and practice of computational effects","archived":false,"fork":false,"pushed_at":"2025-11-04T08:55:33.000Z","size":247,"stargazers_count":1093,"open_issues_count":5,"forks_count":92,"subscribers_count":68,"default_branch":"master","last_synced_at":"2025-11-04T10:22:25.565Z","etag":null,"topics":["algebraic-effects","bibliography","effect-handlers"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/yallop.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2016-03-17T16:13:31.000Z","updated_at":"2025-11-04T08:55:08.000Z","dependencies_parsed_at":"2024-01-06T02:04:23.606Z","dependency_job_id":"f880f657-f801-45b4-9022-a88dc5f6fa2e","html_url":"https://github.com/yallop/effects-bibliography","commit_stats":{"total_commits":195,"total_committers":44,"mean_commits":4.431818181818182,"dds":0.7487179487179487,"last_synced_commit":"81166cf7d0b8f0e61d12c8b4050f7427d9a13aeb"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/yallop/effects-bibliography","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yallop%2Feffects-bibliography","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yallop%2Feffects-bibliography/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yallop%2Feffects-bibliography/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yallop%2Feffects-bibliography/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/yallop","download_url":"https://codeload.github.com/yallop/effects-bibliography/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yallop%2Feffects-bibliography/sbom","scorecard":{"id":1239237,"data":{"date":"2025-10-20","repo":{"name":"github.com/yallop/effects-bibliography","commit":"2de7522b1bbb7cce1b4f98fb68cd011239dde90d"},"scorecard":{"version":"v5.3.1-0.20251020080748-9e702f4c9dc6","commit":"9e702f4c9dc6992745395f4c8ac89942d0cf87ea"},"score":4.2,"checks":[{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#binary-artifacts"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#packaging"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#dangerous-workflow"}},{"name":"Code-Review","score":7,"reason":"Found 14/19 approved changesets -- score normalized to 7","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#code-review"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#maintained"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/checklinks.yml:11: update your workflow using https://app.stepsecurity.io/secureworkflow/yallop/effects-bibliography/checklinks.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/checklinks.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/yallop/effects-bibliography/checklinks.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/checklinks.yml:21: update your workflow using https://app.stepsecurity.io/secureworkflow/yallop/effects-bibliography/checklinks.yml/master?enable=pin","Info:   0 out of   2 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   1 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#pinned-dependencies"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/checklinks.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#cii-best-practices"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#vulnerabilities"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#fuzzing"}},{"name":"License","score":0,"reason":"license file not detected","details":["Warn: project does not have a license file"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#license"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#branch-protection"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#security-policy"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/9e702f4c9dc6992745395f4c8ac89942d0cf87ea/docs/checks.md#sast"}}]},"last_synced_at":"2025-10-26T19:44:38.710Z","repository_id":5872443,"created_at":"2025-10-26T19:44:38.710Z","updated_at":"2025-10-26T19:44:38.710Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29718457,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-22T15:10:41.462Z","status":"ssl_error","status_checked_at":"2026-02-22T15:10:04.636Z","response_time":110,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["algebraic-effects","bibliography","effect-handlers"],"created_at":"2024-08-01T05:01:19.748Z","updated_at":"2026-02-22T16:35:06.089Z","avatar_url":"https://github.com/yallop.png","language":null,"funding_links":[],"categories":["Technical","Others"],"sub_categories":["ramanihiteshc@gmail.com"],"readme":"# Effects bibliography\n\nA collection of research papers and other resources related to the\ntheory and practice of computational effects.\n\n## Instructions\n\n* [Pull requests](https://github.com/yallop/effects-bibliography/pulls) welcome!\n* You can [**edit the file directly**](https://github.com/yallop/effects-bibliography/edit/master/README.md) also.\n* Keep the formatting consistent with the rest.\n* End a line with a double space to force a line break.\n\n## Software\n\nSee also the [Effects and handlers Rosetta\nstone](https://github.com/effect-handlers/effects-rosetta-stone), a\ncomparison of how computational effects and handlers are implemented\nin various programming languages.\n\n* **Coop**: A prototype programming language for programming with runners  \n  by Andrej Bauer and Danel Ahman  \n  ([GitHub](https://github.com/andrejbauer/coop))\n\n* **Desk**: A statically-typed functional language with an effect system based on set-operation  \n  by Ryo Hirayama from Hihaheho Studio  \n  ([GitHub](https://github.com/Hihaheho/Desk))\n  ([an effects tutorial article](https://github.com/Hihaheho/Desk/blob/main/docs/blog/0002-algebraic-effects.md))\n\n* **Eff**: programming language with algebraic effects and handlers  \n  by Andrej Bauer and Matija Pretnar  \n  ([www](http://www.eff-lang.org/))\n\n* **Eff in F#**: A library for programming with algebraic effects in F#  \n  by Nick Palladinos  \n  ([GitHub](https://github.com/palladin/Eff))\n\n* **Effects.js**: algebraic effects for Javascript based on Koka and Eff  \n  by Jason Butler  \n  ([GitHub](https://github.com/nythrox/effects.js))\n\n* **Effekt Language**: A language with lexical effect handlers and lightweight effect polymorphism  \n  by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann  \n  ([www](https://effekt-lang.org))\n\n* **EvEff**: A Haskell library for programming with evidence-translated effect handlers  \n  by Daan Leijen and Ningning Xie  \n  ([GitHub](https://github.com/xnning/EvEff))\n\n* **Extensible effects**: a Haskell library for effects  \n  by Oleg Kiselyov  \n  ([hackage](https://hackage.haskell.org/package/extensible-effects))\n  ([www](http://okmij.org/ftp/Haskell/extensible/))\n\n* **F\\***: an ML-like effectful dependently typed functional programming language aimed at program verification  \n  by Microsoft Research and Inria  \n  ([www](https://fstar-lang.org))\n\n* **Flix**: a functional programming language with effects and handlers, with inference based on Boolean unification  \n  by Magnus Madsen, Matthew Lutze, and Jonathan Lindegaard Starup  \n  ([www](https://flix.dev))\n  ([GitHub](https://github.com/flix/flix))\n\n* **Fram**: programming language with lexically-scoped effect handlers and generalized labelled parameters  \n  by Patrycja Balik and Piotr Polesiuk  \n  ([GitHub](https://github.com/fram-lang/dbl))\n\n* **Frank**: programming language with first-class handlers, invisible effect variables, and multihandlers  \n  by Sam Lindley, Conor McBride, and Craig McLaughlin  \n  ([GitHub](https://github.com/frank-lang/frank))\n\n* **Freak**: a programming language with coalgebraic effects and cohandlers  \n  by Mateusz Urbańczyk  \n  ([GitHub](https://github.com/Tomatosoup97/freak))\n\n* **Fused effects**: a Haskell library for effects  \n  by Rob Rix  \n  ([hackage](https://hackage.haskell.org/package/fused-effects))\n  ([GitHub](https://github.com/robrix/fused-effects))\n\n* **Heftia**: a library for semantically-sound higher‑order algebraic effects and handlers in Haskell  \n  by Riyo Yamada  \n  ([GitHub](https://github.com/sayo-hs/heftia))\n  ([hackage](https://hackage.haskell.org/package/heftia-effects))\n\n* **Helium**: a functional programming language with effect handlers and an ML-like module system  \n  by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski  \n  ([BitBucket](https://bitbucket.org/pl-uwr/helium))\n\n* **Idris Effects**: library for algebraic effects and handlers in Idris - inspired by Eff language  \n  by Edwin Brady  \n  ([www](http://docs.idris-lang.org/en/latest/effects/))\n  ([GitHub](https://github.com/idris-lang/Idris-dev))\n\n* **Koka**: a function-oriented language with effect inference  \n  by Daan Leijen  \n  ([GitHub](https://github.com/koka-lang/koka))\n\n* **Lexa**: a language with lexical effect handlers that is compiled to stack switching  \n  by Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang  \n  ([GitHub](https://github.com/lexa-lang/lexa))\n\n* **Links effect handlers**: an effect handlers extension for the Links web programming language  \n  by Daniel Hillerström and Sam Lindley  \n  ([www](https://links-lang.org))\n  ([GitHub](https://github.com/links-lang/links))\n\n* **Multicore OCaml**: a multicore + effect handlers extension for OCaml  \n  by Stephen Dolan, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White, and Jeremy Yallop  \n  ([GitHub](https://github.com/ocaml-multicore/ocaml-multicore/wiki))\n  (now incorporated into [OCaml 5+](https://github.com/ocaml/ocaml))\n\n* **Polysemy**: a Haskell library for effects  \n  by Sandy Maguire  \n  ([hackage](http://hackage.haskell.org/package/polysemy))\n  ([GitHub](https://github.com/polysemy-research/polysemy))\n\n* **Pyro**: a deep universal probabilistic programming language  \n  by Uber AI Labs  \n  ([www](http://pyro.ai/))\n\n* **Scala Effekt**: extensible algebraic effects with handlers in Scala  \n  by Jonathan Brachthäuser  \n  ([GitHub](https://github.com/b-studios/scala-effekt))\n\n* **Unison**: a programming language with effects called abilities, inspired by Frank  \n  by Unison Computing  \n  ([www](https://www.unisonweb.org/docs/language-reference#abilities-and-ability-handlers))\n  ([GitHub](https://github.com/unisonweb/unison))\n\n* **WasmFXtime**: A fork of Wasmtime extended with support for effect handlers  \n  by Luna Phipps-Costin, Frank Emrich, and  Daniel Hillerström  \n  ([www](https://wasmfx.dev))\n  ([GitHub](https://github.com/wasmfx/wasmfxtime))\n\n* **Wasm/k**: WebAssembly, extended with support for first-class continuations  \n  by Donald Pinckney  \n  ([www](https://wasmk.github.io/))\n  ([GitHub](https://github.com/donald-pinckney/WasmContinuations))\n\n* **Æff**: An interactive interpreter for asynchronous algebraic effects  \n  by Matija Pretnar and Danel Ahman  \n  ([www](https://matija.pretnar.info/aeff/))\n  ([GitHub](https://github.com/matijapretnar/aeff))\n\n* **atnos-org/eff**: extensible effects for Cats in Scala  \n  by Eric Torreborre  \n  ([www](http://atnos-org.github.io/eff/))\n  ([GitHub](http://github.com/atnos-org/eff))\n\n* **cpp-effects**: effect handlers in C++  \n  by Maciej Piróg  \n  ([GitHub](https://github.com/maciejpirog/cpp-effects))\n\n* **libhandler**: an implementation of algebraic effects and handlers in portable C99  \n  by Daan Leijen  \n  ([GitHub](https://github.com/koka-lang/libhandler))\n\n* **libmprompt**: robust multi-prompt delimited control and effect handlers in C/C++  \n  by Daan Leijen  \n  ([GitHub](https://github.com/koka-lang/libmprompt))\n\n* **effects**: An experimental C++ runtime effect system\n  by Michael Truog  \n  ([GitHub](https://github.com/okeuday/effects))\n\n* **multicont**: continuations with multi-shot semantics in OCaml  \n  by Daniel Hillerström  \n  ([GitHub](https://github.com/dhil/ocaml-multicont))\n\n* **shonky**: a dynamically typed variant of Frank with C-like syntax  \n  by Conor McBride  \n  ([GitHub](https://github.com/pigworker/shonky))\n\n* **Turbolift**: algebraic effects for Scala 3  \n  by Marcin Żebrowski  \n  ([www](https://marcinzh.github.io/turbolift/))\n  ([GitHub](https://github.com/marcinzh/turbolift))\n\n* **Enterprise**: library for creating HTTP services using algebraic effects and handlers (Turbolift)  \n  by Marcin Żebrowski  \n  ([GitHub](https://github.com/marcinzh/enterprise))\n\n## Tutorials\n\n### 2022\n\n* **Effect-Handler Oriented Programming** (lecture given at [SPLV](https://www.macs.hw.ac.uk/splv/splv-2022/))  \n  by Sam Lindley  \n  ([YouTube](https://www.youtube.com/watch?v=G8XMRZKOhG0))\n  ([slides](https://www.macs.hw.ac.uk/splv/wp-content/uploads/2022/07/ehop.pdf))\n\n* **Effect handler oriented programming** (lecture series given at [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php#Lindley))  \n  by Sam Lindley  \n  (Videos: [1](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley1.mp4),\n           [2](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley2.mp4),\n           [3](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley3.mp4),\n           [4](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/Lindley4.mp4))  \n  (Notes:  [1](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/handlers.pdf),\n           [2](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/ehop.pdf),\n           [3](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/effexp.pdf),\n           [4](https://www.cs.uoregon.edu/research/summerschool/summer22/lectures/et.pdf))\n\n### 2018\n\n* **What is algebraic about algebraic effects and handlers?** (tutorial given at [Dagstuhl](https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18172) and [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php))  \n  by Andrej Bauer  \n  ([doi](https://doi.org/10.48550/arXiv.1807.05923))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1807.05923))\n  ([pdf](https://arxiv.org/pdf/1807.05923))  \n  (Videos: [1.1](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-1.mp4),\n           [1.2](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-2.mp4),\n           [1.3](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-3.mp4),\n           [2.1](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-1.mp4),\n           [2.2](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-2.mp4),\n           [2.3](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer2-3.mp4))\n\n### 2017\n\n* **Concurrent Programming with Effect Handlers** (tutorial given at [CUFP](http://cufp.org/2017/c3-daniel-hillerstrom-kc-concurrent-programming-with-effect-handlers.html))  \n  by Daniel Hillerström and KC Sivaramakrishnan  \n  ([www](http://cufp.org/2017/c3-daniel-hillerstrom-kc-concurrent-programming-with-effect-handlers.html))\n  ([GitHub](https://github.com/ocamllabs/ocaml-effects-tutorial))\n\n### 2015\n\n* **An Introduction to Algebraic Effects and Handlers. Invited tutorial paper** (MFPS 2015)  \n  by Matija Pretnar  \n  ([doi](https://doi.org/10.1016/j.entcs.2015.12.003))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html?view=bibtex))\n  ([pdf](http://www.eff-lang.org/handlers-tutorial.pdf))\n\n## Papers\n\n### 2025\n\n* **Affect: An Affine Type and Effect System** (POPL 2025)  \n  by Orpheas van Rooij and Robbert Krebbers  \n  ([doi](https://doi.org/10.1145/3704841))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/RooijK25.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/RooijK25.html?view=bibtex))\n  ([pdf](https://iris-project.org/pdfs/2025-popl-affect.pdf))\n  ([artifact](https://zenodo.org/records/14198790))\n\n* **Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs** (POPL 2025)  \n  by Taro Sekiyama and Hiroshi Unno  \n  ([doi](https://doi.org/10.1145/3704914))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/SekiyamaU25.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/SekiyamaU25.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3704914))\n\n### 2024\n\n* **Signature restriction for polymorphic algebraic effects** (JFP 2024)  \n  by Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi  \n  ([doi](https://doi.org/10.1017/S0956796824000054))\n  ([dblp](https://dblp.org/rec/journals/jfp/SekiyamaTI24.html))\n  ([bibtex](https://dblp.org/rec/journals/jfp/SekiyamaTI24.html?view=bibtex))\n  ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1FCD90F7590C031791DBE08DCD65CED5/S0956796824000054a.pdf/signature_restriction_for_polymorphic_algebraic_effects.pdf))\n\n* **Parallel Algebraic Effect Handlers** (ICFP 2024)  \n  by Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, and Adam Paszke  \n  ([doi](https://doi.org/10.1145/3674651))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/Xie0MP24.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/Xie0MP24.html?view=bibtex))\n  ([pdf](https://xnning.github.io/papers/icfp24parallel.pdf))\n\n* **Effect Handlers for C via Coroutines** (OOPSLA 2024)  \n  by Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, and Sam Lindley  \n  ([doi](https://doi.org/10.1145/3689798))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/Alvarez-Picallo24.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/Alvarez-Picallo24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3689798))\n\n* **A framework for higher-order effects \u0026 handlers** (SCP 2024)  \n  by Birthe van den Berg and Tom Schrijvers  \n  ([doi](https://doi.org/10.1016/j.scico.2024.103086))\n  ([dblp](https://dblp.org/rec/journals/scp/BergS24.html))\n  ([bibtex](https://dblp.org/rec/journals/scp/BergS24.html?view=bibtex))\n  ([pdf](https://lirias.kuleuven.be/retrieve/724996))\n\n* **Making a Curry Interpreter using Effects and Handlers** (Haskell 2024)  \n  by Niels Bunkenburg and Nicolas Wu  \n  ([doi](https://doi.org/10.1145/3677999.3678279))\n  ([dblp](https://dblp.org/rec/conf/haskell/BunkenburgW24.html))\n  ([bibtex](https://dblp.org/rec/conf/haskell/BunkenburgW24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3677999.3678279))\n\n* **A Calculus for Scoped Effects \u0026 Handlers** (LMCS 2024)  \n  by Roger Bosman, Birthe van den Berg, Wenhao Tang, and Tom Schrijvers  \n  ([doi](https://doi.org/10.46298/lmcs-20(4:17)2024))\n  ([dblp](https://dblp.org/rec/journals/lmcs/BosmanBTS24.html))\n  ([bibtex](https://dblp.org/rec/journals/lmcs/BosmanBTS24.html?view=bibtex))\n  ([pdf](https://lmcs.episciences.org/14832/pdf))\n\n* **Algebraic effects and handlers for arrows** (JFP 2024)  \n  by Takahiro Sanada  \n  ([doi](https://doi.org/10.1017/S0956796824000066))\n  ([dblp](https://dblp.org/rec/journals/jfp/Sanada24.html))\n  ([bibtex](https://dblp.org/rec/journals/jfp/Sanada24.html?view=bibtex))\n  ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/31638FCCC07130C30C42853CF0E0A4C2/S0956796824000066a.pdf/algebraic-effects-and-handlers-for-arrows.pdf))\n\n* **Scoped Effects as Parameterized Algebraic Theories** (ESOP 2024)  \n  by Sam Lindley, Cristina Matache, Sean Moss, Sam Staton, Nicolas Wu, and Zhixuan Yang  \n  ([doi](https://doi.org/10.1007/978-3-031-57262-3_1))\n  ([dblp](https://dblp.org/rec/conf/esop/LindleyMMSWY24.html))\n  ([bibtex](https://dblp.org/rec/conf/esop/LindleyMMSWY24.html?view=bibtex))\n  ([pdf](https://arxiv.org/pdf/2402.03103))\n\n* **Lexical Effect Handlers, Directly** (OOPSLA 2024)  \n  by Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang  \n  ([doi](https://doi.org/10.1145/3689770))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/MaGLZ24.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/MaGLZ24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3689770))\n\n* **Specification and Verification for Unrestricted Algebraic Effects and Handling** (ICFP 2024)  \n  by Yahui Song, Darius Foo, and Wei-Ngan Chin  \n  ([doi](https://doi.org/10.1145/3674656))\n  ([pdf](https://songyahui.github.io/ICFP24/ICFP2024_TR.pdf))\n\n* **Asymptotic speedup via effect handlers** (JFP 2024)  \n  by Daniel Hillerström, Sam Lindley, and John Longley  \n  ([doi](https://doi.org/10.1017/s0956796824000030))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html?view=bibtex))\n  ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/296879DE2FD96FB6CF388F27978C76E4/S0956796824000030a.pdf/asymptotic-speedup-via-effect-handlers.pdf))\n\n* **Active Objects Based on Algebraic Effects** (Active Object Languages: Current Research Trends)  \n  by Martin Andrieux, Ludovic Henrio, and Gabriel Radanne  \n  ([doi](https://doi.org/10.1007/978-3-031-51060-1_1))\n  ([dblp](https://dblp.uni-trier.de/rec/books/sp/24/AndrieuxHR24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/books/sp/24/AndrieuxHR24.html?view=bibtex))\n  ([pdf](https://hal.science/hal-04388798/document))\n\n* **Algebraic Effects Meet Hoare Logic in Cubical Agda** (POPL 2024)  \n  by Donnacha Oisín Kidney, Zhixuan Yang, and Nicolas Wu  \n  ([doi](https://doi.org/10.1145/3632898))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/KidneyYW24.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/KidneyYW24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3632898))\n\n* **Soundly Handling Linearity** (POPL 2024)  \n  by Wenhao Tang, Daniel Hillerström, Sam Lindley, and J. Garrett Morris  \n  ([doi](https://doi.org/10.1145/3632896))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/TangHLM24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/TangHLM24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3632896))\n\n* **On Model-Checking Higher-Order Effectful Programs** (POPL 2024)  \n  by Ugo Dal Lago and Alexis Ghyselen  \n  ([doi](https://doi.org/10.1145/3632929))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3632929))\n  ([arxiv (extended version)](https://arxiv.org/abs/2308.16542))\n  ([pdf (extended version)](https://arxiv.org/pdf/2308.16542))\n\n* **Effectful Software Contracts** (POPL 2024)  \n  by Cameron Moy, Christos Dimoulas, and Matthias Felleisen  \n  ([doi](https://doi.org/10.1145/3632930))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MoyDF24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MoyDF24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3632930))\n\n* **An Intrinsically Typed Compiler for Algebraic Effect Handlers** (PEPM 2024)  \n  by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara  \n  ([doi](https://doi.org/10.1145/3635800.3636968))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/pepm/TsuyamaCM24.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/pepm/TsuyamaCM24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3635800.3636968))\n\n* **Associated Effects: Flexible Abstractions for Effectful Programming** (PLDI 2024)  \n  by Matthew Lutze and Magnus Madsen  \n  ([doi](https://doi.org/10.1145/365639))\n  ([dblp](https://dblp.org/rec/journals/pacmpl/LutzeM24.html))\n  ([bibtex](https://dblp.org/rec/journals/pacmpl/LutzeM24.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3656393https://dl.acm.org/doi/pdf/10.1145/3656393))\n\n### 2023\n\n* **Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library** (LMCS 2023)  \n  by Paulo Emílio de Vilhena and François Pottier  \n  ([doi](https://doi.org/10.46298/lmcs-19(4:5)2023))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/VilhenaP23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/VilhenaP23.html?view=bibtex))\n  ([pdf](https://devilhena-paulo.github.io/files/verifying-rmad.pdf))\n  ([Coq formalisation](https://gitlab.inria.fr/cambium/hazel/-/blob/master/papers/LMCS-RMAD.md))\n\n* **From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers** (OOPSLA 2023)  \n  by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser  \n  ([doi](https://doi.org/10.1145/3622831))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MullerSSOB23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MullerSSOB23.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3622831))\n\n* **Continuing WebAssembly with Effect Handlers** (OOPSLA 2023)  \n  by Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, and Sam Lindley  \n  ([doi](https://doi.org/10.1145/3622814))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2308.08347))\n  ([pdf](https://arxiv.org/pdf/2308.08347))\n\n* **Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators** (PPDP 2023)  \n  by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara  \n  ([doi](https://doi.org/10.1145/3610612.3610616))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html?view=bibtex))\n  ([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf))\n\n* **Error Localization for Sequential Effect Systems** (SAS 2023)  \n  by Colin S. Gordon and Chaewon Yun  \n  ([doi](https://doi.org/10.1007/978-3-031-44245-2_16))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html?view=bibtex))\n\n* **A General Fine-Grained Reduction Theory for Effect Handlers** (ICFP 2023)  \n  by Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki  \n  ([doi](https://doi.org/10.1145/3607848))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SieczkowskiPB23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SieczkowskiPB23.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3607848))\n\n* **With or Without You: Programming with Effect Exclusion** (ICFP 2023)  \n  by Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser  \n  ([doi](https://doi.org/10.1145/3607846))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/LutzeMSB23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/LutzeMSB23.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3607846))\n\n* **A Type System for Effect Handlers and Dynamic Labels** (ESOP 2023)  \n  by Paulo Emílio de Vilhena and François Pottier  \n  ([doi](https://link.springer.com/chapter/10.1007/978-3-031-30044-8_9))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/VilhenaP23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/VilhenaP23.html?view=bibtex))\n  ([pdf](https://devilhena-paulo.github.io/files/tes.pdf))\n  ([Coq formalisation](https://gitlab.inria.fr/cambium/tes))\n\n* **Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects** (POPL 2023)  \n  by Casper Bach Poulsen and Cas van der Rest  \n  ([doi](https://doi.org/10.1145/3571255))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html?view=bibtex))\n  ([pdf](http://casperbp.net/store/hefty-algebras.pdf))\n\n* **Towards a Reflection for Effect Handlers** (PEPM 2023)  \n  by Youyou Cong and Kenichi Asai  \n  ([doi](https://doi.org/10.1145/3571786.3573015))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html?view=bibtex))\n\n### 2022\n\n* **Category-Graded Algebraic Theories and Effect Handlers** (MFPS 2022)  \n  by Takahiro Sanada  \n  ([doi](https://doi.org/10.46298/entics.10491))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2212-07015.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2212-07015.html?view=bibtex))\n  ([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/mfps2022-cat-graded-preproceedings-extended.pdf))\n\n* **Modular probabilistic models via algebraic effects** (ICFP 2022)  \n  by Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu  \n  ([doi](https://doi.org/10.1145/3547635))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/NguyenPWW22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/NguyenPWW22.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3547635))\n\n* **Automated Temporal Verification for Algebraic Effects** (APLAS 2022)  \n  by Yahui Song, Darius Foo, and Wei-Ngan Chin  \n  ([doi](https://doi.org/10.1007/978-3-031-21037-2_5))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/SongFC22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/SongFC22.html?view=bibtex))\n  ([pdf](https://songyahui.github.io/APLAS2022.pdf))\n\n* **An Algebraic Theory for Shared-State Concurrency** (APLAS 2022)  \n  by Yotam Dvir, Ohad Kammar, and Ori Lahav  \n  ([doi](https://doi.org/10.1007/978-3-031-21037-2_1))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/DvirKL22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/DvirKL22.html?view=bibtex))\n  ([pdf](https://denotational.co.uk/publications/dvir-kammar-lahav-algebraic-sc.pdf))\n\n* **First-class names for effect handlers** (OOPSLA 2022)  \n  by Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen  \n  ([doi](https://doi.org/10.1145/3563289))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieCIL22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieCIL22.html?view=bibtex))\n  ([pdf](https://xnning.github.io/papers/oopsla22namedh.pdf))\n\n* **High-level effect handlers in C++** (OOPSLA 2022)  \n  by Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg  \n  ([doi](https://doi.org/10.1145/3563445))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html?view=bibtex))\n  ([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/cppeff.pdf))\n\n* **Algebraic Effects for Extensible Dynamic Semantics** (Journal of Logic, Language and Information)  \n  by Julian Grove and Jean-Philippe Bernardy  \n  ([doi](https://doi.org/10.1007/s10849-022-09378-7))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html?view=bibtex))\n  ([pdf](https://semanticsarchive.net/Archive/TMxNGE3M/algebraic.pdf))\n\n* **A typed continuation-passing translation for lexical effect handlers** (PLDI 2022)  \n  by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann  \n  ([doi](https://doi.org/10.1145/3519939.3523710))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/SchusterB0O22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/SchusterB0O22.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3519939.3523710))\n\n* **Structured Handling of Scoped Effects** (ESOP 2022)  \n  by Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, and Tom Schrijvers  \n  ([doi](https://doi.org/10.1007/978-3-030-99336-8_17))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html?view=bibtex))\n  ([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf))\n  ([arxiv (extended version)](https://arxiv.org/abs/2201.10287))\n  ([pdf (extended version)](https://arxiv.org/pdf/2201.10287))\n\n* **Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back** (OOPSLA 2022)  \n  by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki  \n  ([doi](https://doi.org/10.1145/3527320))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSLB22.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSLB22.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3527320))\n\n### 2021\n\n* **Efficient compilation of algebraic effect handlers** (OOPSLA 2021)  \n  by Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers  \n  ([doi](https://doi.org/10.1145/3485479))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3485479))\n\n* **Latent Effects for Reusable Language Components** (APLAS 2021)  \n  by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu  \n  ([doi](https://doi.org/10.1007/978-3-030-89051-3_11))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html?view=bibtex))\n  ([arxiv (extended version)](https://arxiv.org/abs/2108.11155))\n  ([pdf (extended version)](https://arxiv.org/pdf/2108.11155))\n\n* **Composing UNIX with Effect Handlers** (ML Workshop 2021)  \n  by Daniel Hillerström  \n  ([pdf](https://dhil.net/research/papers/unix-ml2021.pdf))\n\n* **Safe mutation with algebraic effects** (Haskell 2021)  \n  by Hashan Punchihewa and Nicolas Wu  \n  ([doi](https://doi.org/10.1145/3471874.3472988))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/PunchihewaW21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/PunchihewaW21.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3471874.3472988))\n\n* **Contextual modal types for algebraic effects and handlers** (ICFP 2021)  \n  by Nikita Zyuzin and Aleksandar Nanevski  \n  ([doi](https://doi.org/10.1145/3473580))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html?view=bibtex))\n  ([pdf](https://software.imdea.org/~aleks/icfp21/icfp21.pdf))\n\n* **Reasoning about effect interaction by fusion** (ICFP 2021)  \n  by Zhixuan Yang and Nicolas Wu  \n  ([doi](https://doi.org/10.1145/3473578))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3473578))\n  ([extended pdf](https://yangzhixuan.github.io/pdf/fused-reasoning-appendices.pdf))\n\n* **Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C** (ICFP 2021)  \n  by Ningning Xie and Daan Leijen  \n  ([doi](https://doi.org/10.1145/3473576))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieL21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieL21.html?view=bibtex))\n  ([pdf](https://xnning.github.io/papers/multip.pdf))\n\n* **A Functional Abstraction of Typed Invocation Contexts** (FSCD 2021)  \n  by Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.12))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fscd/CongIHA21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/CongIHA21.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14250/pdf/LIPIcs-FSCD-2021-12.pdf))\n\n* **Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators** (FSCD 2021)  \n  by Maika Fujii and Kenichi Asai  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2021.16))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fscd/FujiiA21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/FujiiA21.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/opus/volltexte/2021/14254/pdf/LIPIcs-FSCD-2021-16.pdf))\n\n* **Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)** (TyDe 2021)  \n  by Kazuki Niimi, Youyou Cong, and Jonathan Immanuel Brachthäuser  \n  ([pdf](https://prg.is.titech.ac.jp/papers/pdf/tyde2021.pdf))\n\n* **Formalising Algebraic Effects with Non-Recoverable Failure** (HOPE 2021)  \n  by Timotej Tomandl and Dominic Orchard  \n  ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/timo-hope21.pdf))\n\n* **First-class Named Handlers** (HOPE 2021)  \n  by Ningning Xie, Youyou Cong, and Daan Leijen  \n  ([pdf](https://researchmap.jp/youyoucong/presentations/32929533/attachment_file.pdf))\n\n* **Higher-Order Asynchronous Effects** (HOPE 2021)  \n  by Danel Ahman, Matija Pretnar, and Janez Radešček  \n  ([pdf](https://danel.ahman.ee/papers/hope21.pdf))\n\n* **Handler Calculus** (HOPE 2021)  \n  by Sam Lindley  \n  ([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/handler-calculus-draft-may2021.pdf))\n\n* **Retrofitting effect handlers onto OCaml** (PLDI 2021)  \n  by K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy  \n  ([doi](https://doi.org/10.1145/3453483.3454039))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2104.00250))\n  ([pdf](https://arxiv.org/pdf/2104.00250))\n\n* **Polymorphic Iterable Sequential Effect Systems** (TOPLAS 2021)  \n  by Colin S. Gordon  \n  ([doi](https://doi.org/10.1145/3450272))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1808.02010))\n  ([pdf](https://arxiv.org/pdf/1808.02010))\n\n* **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021)  \n  by Jesse Sigal  \n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2101.08095))\n  ([pdf](https://arxiv.org/pdf/2101.08095))\n\n* **Staged Effects and Handlers for Modular Languages with Abstraction** (PEPM 2021)  \n  by Casper Bach Poulsen, Cas van der Rest, and Tom Schrijvers  \n  ([pdf](https://casvdrest.github.io/staged-effects.agda/pepm21.pdf))\n\n* **A Separation Logic for Effect Handlers** (POPL 2021)  \n  by Paulo Emílio de Vilhena and François Pottier  \n  ([doi](https://doi.org/10.1145/3434314))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html?view=bibtex))\n  ([pdf](https://devilhena-paulo.github.io/files/separation-logic-effect-handlers.pdf))\n  ([Coq formalisation](https://gitlab.inria.fr/cambium/hazel))\n\n* **Asynchronous effects** (POPL 2021)  \n  by Danel Ahman and Matija Pretnar  \n  ([doi](https://doi.org/10.1145/3434305))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2003.02110))\n  ([pdf](https://arxiv.org/pdf/2003.02110))\n\n### 2020\n\n* **Graded Algebraic Theories** (FoSSaCS 2020)  \n  by Satoshi Kura  \n  ([doi](https://doi.org/10.1007/978-3-030-45231-5_21))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/Kura20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/Kura20.html?view=bibtex))\n  ([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-45231-5_21.pdf))\n\n* **Modular verification of programs with effects and effects handlers** (FAOC 2020)  \n  by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet  \n  ([doi](https://doi.org/10.1007/s00165-020-00523-2))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html?view=bibtex))\n\n* **Not by equations alone: Reasoning with extensible effects** (JFP 2020)  \n  by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry  \n  ([doi](https://doi.org/10.1017/S0956796820000271))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KiselyovMS21.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KiselyovMS21.html?view=bibtex))\n  ([pdf](https://www.okmij.org/ftp/Haskell/extensible/denot.pdf))\n\n* **Automatic Reparameterisation of Probabilistic Programs** (ICML 2020)  \n  by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman  \n  ([dblp](https://dblp.uni-trier.de/rec/conf/icml/GorinovaMH20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icml/GorinovaMH20.html?view=bibtex))\n  ([pdf](http://proceedings.mlr.press/v119/gorinova20a/gorinova20a.pdf))\n\n* **Compiling symbolic execution with staging and algebraic effects** (OOPSLA 2020)  \n  by Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf  \n  ([doi](https://doi.org/10.1145/3428232))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html?view=bibtex))\n  ([pdf](https://bracevac.org/assets/pdf/oopsla20.pdf))\n\n* **Composing effects into tasks and workflows** (Haskell 2020)  \n  by Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg  \n  ([doi](https://doi.org/10.1145/3406088.3409023))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3406088.3409023))\n\n* **Handling bidirectional control flow** (OOPSLA 2020)  \n  by Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers  \n  ([doi](https://doi.org/10.1145/3428207))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html?view=bibtex))\n  ([pdf](https://www.cs.cornell.edu/andru/papers/ufo/bidirectional-effects.pdf))\n\n* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)** (ECOOP 2020)  \n  by Colin S. Gordon  \n  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.10))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.10/LIPIcs.ECOOP.2020.10.pdf))\n\n* **Lifting Sequential Effects to Control Operators** (ECOOP 2020)  \n  by Colin S. Gordon  \n  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.23))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19a.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19a.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.23/LIPIcs.ECOOP.2020.23.pdf))\n\n* **Degrading Lists** (PPDP 2020)  \n  by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu  \n  ([doi](https://doi.org/10.1145/3414080.3414084))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/McDermottPU20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/McDermottPU20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3414080.3414084))\n\n* **Wasm/k: delimited continuations for WebAssembly** (DLS 2020)  \n  by Donald Pinckney, Arjun Guha, and Yuriy Brun  \n  ([doi](https://doi.org/10.1145/3426422.3426978))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/dls/PinckneyGB20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/dls/PinckneyGB20.html?view=bibtex))\n  ([pdf](https://wasmk.github.io/FullVersion.pdf))\n\n* **A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers** (FSCD 2020)  \n  by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2020.7))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiLP20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiLP20.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12329/pdf/LIPIcs-FSCD-2020-7.pdf))\n\n* **A Reflection on Continuation-Composing Style** (FSCD 2020)  \n  by Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2020.18))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12340/pdf/LIPIcs-FSCD-2020-18.pdf))\n\n* **Effect handlers in Haskell, evidently** (Haskell 2020)  \n  by Ningning Xie and Daan Leijen  \n  ([doi](https://doi.org/10.1145/3406088.3409022))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/XieL20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/XieL20.html?view=bibtex))\n  ([pdf](https://www.microsoft.com/en-us/research/uploads/prod/2020/07/effev.pdf))\n\n* **Effects as capabilities: effect handlers and lightweight effect polymorphism** (OOPSLA 2020)  \n  by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann  \n  ([doi](https://doi.org/10.1145/3428194))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3428194))\n\n* **One-Shot Algebraic Effects as Coroutines** (TFP 2020)  \n  by Satoru Kawahara and Yukiyoshi Kameyama  \n  ([doi](https://doi.org/10.1007/978-3-030-57761-2_8))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html?view=bibtex))\n  ([pdf](https://www.cse.chalmers.se/~rjmh/tfp/proceedings/TFP_2020_paper_10.pdf))\n\n* **Generalized monoidal effects and handlers** (JFP 2020)  \n  by Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers  \n  ([doi](https://doi.org/10.1017/S0956796820000106))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/PietersRS20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/PietersRS20.html?view=bibtex))\n  ([pdf](https://rubenpieters.github.io/assets/papers/JFP20-handlers.pdf))\n\n* **Signature restriction for polymorphic algebraic effects** (ICFP 2020)  \n  by Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi  \n  ([doi](https://doi.org/10.1145/3408999))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2003.08138))\n  ([pdf](https://arxiv.org/pdf/2003.08138))\n\n* **Effects for efficiency: asymptotic speedup with first-class control** (ICFP 2020)  \n  by Daniel Hillerström, Sam Lindley, and John Longley  \n  ([doi](https://doi.org/10.1145/3408982))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2007.00605))\n  ([pdf](https://arxiv.org/pdf/2007.00605))\n\n* **Effect handlers, evidently** (ICFP 2020)  \n  by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen  \n  ([doi](https://doi.org/10.1145/3408981))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html?view=bibtex))\n  ([pdf](https://www.dhil.net/research/papers/effect_handlers_evidently-extended-icfp2020.pdf))\n\n* **Compiling effect handlers in capability-passing style** (ICFP 2020)  \n  by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann  \n  ([doi](https://doi.org/10.1145/3408975))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SchusterBO20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SchusterBO20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3408975))\n\n* **Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala** (JFP 2020)  \n  by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann  \n  ([doi](https://doi.org/10.1017/S0956796820000027))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/BrachthauserSO20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/BrachthauserSO20.html?view=bibtex))\n  ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A19680B18FB74AD95F8D83BC4B097D4F/S0956796820000027a.pdf/effekt_capabilitypassing_style_for_type_and_effectsafe_extensible_effect_handlers_in_scala.pdf))\n\n* **Doo bee doo bee doo** (JFP 2020)  \n  by Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin  \n  ([doi](https://doi.org/10.1017/S0956796820000039))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/ConventLMM20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/ConventLMM20.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/frankly-jfp.pdf))\n\n* **Effect handlers via generalised continuations** (JFP 2020)  \n  by Daniel Hillerström, Sam Lindley, and Robert Atkey  \n  ([doi](https://doi.org/10.1017/S0956796820000040))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLA20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLA20.html?view=bibtex))\n  ([pdf](https://dhil.net/research/papers/generalised_continuations-jfp2020.pdf))\n\n* **Runners in Action** (ESOP 2020)  \n  by Danel Ahman and Andrej Bauer  \n  ([doi](https://doi.org/10.1007/978-3-030-44914-8_2))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1910.11629))\n  ([pdf](https://arxiv.org/pdf/1910.11629))\n\n* **Interaction trees: representing recursive and impure programs in Coq** (POPL 2020)  \n  by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic  \n  ([doi](https://doi.org/10.1145/3371119))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3371119?download=true))\n\n* **Binders by day, labels by night: effect instances via lexically scoped handlers** (POPL 2020)  \n  by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski  \n  ([doi](https://doi.org/10.1145/3371116))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS20.html?view=bibtex))\n  ([pdf](https://maciejpirog.github.io/papers/binders-labels.pdf))\n\n* **Combining predicate transformer semantics for effects: a case study in parsing regular languages** (MSFP 2020)  \n  by Anne Baanen and Wouter Swierstra  \n  ([doi](https://doi.org/10.4204/EPTCS.317.3))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2005.00197))\n  ([pdf](https://arxiv.org/pdf/2005.00197))\n\n* **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020)  \n  by Niels F. W. Voorneveld  \n  ([doi](https://doi.org/10.4204/EPTCS.317.1))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2005.00196))\n  ([pdf](https://arxiv.org/pdf/2005.00196))\n\n* **Unifying graded and parameterised monads** (MSFP 2020)  \n  by Dominic Orchard, Philip Wadler, and Harley Eades III  \n  ([doi](https://doi.org/10.4204/EPTCS.317.2))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2001.10274))\n  ([pdf](https://arxiv.org/pdf/2001.10274))\n\n* **Local algebraic effect theories** (JFP 2020)  \n  by Žiga Lukšič and Matija Pretnar  \n  ([doi](https://doi.org/10.1017/S0956796819000212))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2005.13654))\n  ([pdf](https://arxiv.org/pdf/2005.13654))\n\n* **Explicit effect subtyping** (JFP 2020)  \n  by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers  \n  ([doi](https://doi.org/10.1017/S0956796820000131))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/2005.13814))\n  ([pdf](https://arxiv.org/pdf/2005.13814))\n\n* **The fire triangle: how to mix substitution, dependent elimination, and effects** (POPL 2020)  \n  by Pierre-Marie Pédrot and Nicolas Tabareau  \n  ([doi](https://doi.org/10.1145/3371126))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PedrotT20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PedrotT20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3371126))\n\n### 2019\n\n* **A Sound and Complete Logic for Algebraic Effects** (FoSSaCS 2019)  \n  by Cristina Matache and Sam Staton  \n  ([doi](https://doi.org/10.1007/978-3-030-17127-8_22))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MatacheS19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MatacheS19.html?view=bibtex))\n  ([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/fossacs-2019.pdf))\n\n* **On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control** (JFP, ICFP 2017 special issue)  \n  by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar  \n  ([doi](https://doi.org/10.1017/S0956796819000121))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/effmondel-jfp.pdf))\n\n* **Dijkstra monads for all** (ICFP 2019)  \n  by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter  \n  ([doi](https://doi.org/10.1145/3341708))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1903.01237))\n  ([pdf](https://arxiv.org/pdf/1903.01237))\n\n* **A predicate transformer semantics for effects (functional pearl)** (ICFP 2019)  \n  by Wouter Swierstra and Anne Baanen  \n  ([doi](https://doi.org/10.1145/3341707))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3341707?download=true))\n\n* **Monad transformers and modular algebraic effects: what binds them together** (Haskell 2019)  \n  by Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff  \n  ([doi](https://doi.org/10.1145/3331545.3342595))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html?view=bibtex))\n  ([pdf](https://maciejpirog.github.io/papers/what-binds-them-together.pdf))\n\n* **A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning** (MPC 2019)  \n  by Reynald Affeldt, David Nowak, and Takafumi Saikawa  \n  ([doi](https://doi.org/10.1007/978-3-030-33636-3_9))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/mpc/AffeldtNS19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/AffeldtNS19.html?view=bibtex))\n  ([pdf](https://hal.science/hal-02359796v1/preview/monae.pdf))\n  ([GitHub](https://github.com/affeldt-aist/monae))\n\n* **Handling Local State with Global State** (MPC 2019)  \n  by Koen Pauwels, Tom Schrijvers, and Shin-Cheng Mu  \n  ([doi](https://doi.org/10.1007/978-3-030-33636-3_2))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/mpc/PauwelsSM19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/PauwelsSM19.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2019.pdf))\n\n* **Bisimulations for Delimited-Control Operators** (LMCS 2019)  \n  by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk  \n  ([doi](https://doi.org/10.23638/LMCS-15(2:18)2019))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html?view=bibtex))\n  ([pdf](https://lmcs.episciences.org/5508/pdf))\n\n* **Typed Equivalence of Effect Handlers and Delimited Control** (FSCD 2019)  \n  by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2019.30))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html?view=bibtex))\n  ([pdf](https://maciejpirog.github.io/papers/typed-equivalence-fscd2019.pdf))\n\n* **Handling Polymorphic Algebraic Effects** (ESOP 2019)  \n  by Taro Sekiyama and Atsushi Igarashi  \n  ([doi](https://doi.org/10.1007/978-3-030-17184-1_13))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1811.07332))\n  ([pdf](https://arxiv.org/pdf/1811.07332))\n\n* **Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order** (ESOP 2019)  \n  by Dylan McDermott and Alan Mycroft  \n  ([doi](https://doi.org/10.1007/978-3-030-17184-1_9))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html?view=bibtex))\n  ([pdf](https://www.cl.cam.ac.uk/~dm606/extended-call-by-push-value.pdf))\n\n* **Abstracting algebraic effects** (POPL 2019)  \n  by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski  \n  ([doi](https://doi.org/10.1145/3290319))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html?view=bibtex))\n  ([pdf](https://maciejpirog.github.io/papers/biernacki-al-popl19.pdf))\n\n* **Abstraction-safe effect handlers via tunneling** (POPL 2019)  \n  by Yizhou Zhang and Andrew C. Myers  \n  ([doi](https://doi.org/10.1145/3290318))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html?view=bibtex))\n  ([technical report](https://ecommons.cornell.edu/handle/1813/60202))\n\n* **Behavioural Equivalence via Modalities for Algebraic Effects** (TOPLAS 2019)  \n  by Alex Simpson and Niels F. W. Voorneveld  \n  ([doi](https://doi.org/10.1145/3363518))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3363518))\n\n### 2018\n\n* **Behavioural Equivalence via Modalities for Algebraic Effects** (ESOP 2018)  \n  by Alex Simpson and Niels F. W. Voorneveld  \n  ([doi](https://doi.org/10.1007/978-3-319-89884-1_11))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html?view=bibtex))\n  ([pdf](https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1.pdf))\n\n* **Call-by-need effects via coeffects** (Open Computer Science 2018)  \n  by Dylan McDermott and Alan Mycroft  \n  ([doi](https://doi.org/10.1515/comp-2018-0009))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html?view=bibtex))\n  ([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf))\n\n* **Pyro: Deep Universal Probabilistic Programming** (2018)  \n  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  \n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1810.09538))\n  ([pdf](https://arxiv.org/pdf/1810.09538))\n\n* **Automatic Reparameterisation in Probabilistic Programming** (AABI 2018)  \n  by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman  \n\n* **Effect Handling for Composable Program Transformations in Edward2** (PROBPROG 2018)  \n  by Dave Moore and Maria I. Gorinova  \n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1811.06150))\n  ([pdf](https://arxiv.org/pdf/1811.06150))\n\n* **Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics** (MFPS 2018)  \n  by Ohad Kammar and Dylan McDermott  \n  ([doi](https://doi.org/10.1016/j.entcs.2018.11.012))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html?view=bibtex))\n\n* **Functional programming for modular Bayesian inference** (ICFP 2018)  \n  by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani  \n  ([doi](https://doi.org/10.1145/3236778))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html?view=bibtex))\n  ([pdf](https://api.repository.cam.ac.uk/server/api/core/bitstreams/36a3c9ad-9633-4e69-a96f-fd76d1d49ccd/content))\n\n* **JEff: objects for effect** (Onward 2018)  \n  by Pablo Inostroza and Tijs van der Storm  \n  ([doi](https://doi.org/10.1145/3276954.3276955))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html?view=bibtex))\n  ([pdf](https://homepages.cwi.nl/~storm/publications/jeff.pdf))\n\n* **Effect handlers for the masses** (OOPSLA 2018)  \n  by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann  \n  ([doi](https://doi.org/10.1145/3276481))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/3276481))\n\n* **Abstract nonsense** (FARM 2018)  \n  by Junia Gonçalves  \n  ([doi](https://doi.org/10.1145/3242903.3242908))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html?view=bibtex))\n\n* **Syntax and Semantics for Operations with Scopes** (LICS 2018)  \n  by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff  \n  ([doi](https://doi.org/10.1145/3209108.3209166))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/lics2018.pdf))\n\n* **First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers** (TyDe 2018)  \n  by Daan Leijen  \n  ([doi](https://doi.org/10.1145/3240719.3241789))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Leijen18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Leijen18.html?view=bibtex))\n\n* **Algebraic Effect Handlers with Resources and Deep Finalization** (MSR technical report)  \n  by Daan Leijen  \n  ([pdf](https://www.microsoft.com/en-us/research/uploads/prod/2018/04/resource-v1.pdf))\n\n* **Shallow Effect Handlers** (APLAS 2018)  \n  by Daniel Hillerström and Sam Lindley  \n  ([doi](https://doi.org/10.1007/978-3-030-02768-1_22))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/HillerstromL18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/HillerstromL18.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/shallow-extended.pdf))\n\n* **Versatile event correlation with algebraic effects** (ICFP 2018)  \n  by Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini  \n  ([doi](https://doi.org/10.1145/3236762))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BracevacASEEM18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BracevacASEEM18.html?view=bibtex))\n  ([pdf](https://programming-group.com/assets/pdf/papers/2018-Versatile-event-correlation-with-algebraic-effects.pdf))\n\n* **Modular Verification of Programs with Effects and Effect Handlers in Coq** (FM 2018)  \n  by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet  \n  ([doi](https://doi.org/10.1007/978-3-319-95582-7_20))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fm/LetanRCH18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fm/LetanRCH18.html?view=bibtex))\n  ([metadata](https://hal.inria.fr/hal-01799712))\n  ([pdf](https://hal.inria.fr/hal-01799712/document))\n\n* **Explicit Effect Subtyping** (ESOP 2018)  \n  by Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers  \n  ([doi](https://doi.org/10.1007/978-3-319-89884-1_12))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SalehKPS18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SalehKPS18.html?view=bibtex))\n  ([pdf with appendix](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/esop2018.pdf))\n  ([technical report/extended version](https://arxiv.org/pdf/2005.13814))\n\n* **Handle with care: relational interpretation of algebraic effects and handlers** (POPL 2018)  \n  by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski  \n  ([doi](https://doi.org/10.1145/3158096))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS18.html?view=bibtex))\n  ([pdf](https://bitbucket.org/pl-uwr/aleff-logrel/downloads/popl18e.pdf))\n  ([Coq formalisation](https://bitbucket.org/pl-uwr/aleff-logrel))\n\n* **Handling fibred algebraic effects** (POPL 2018)  \n  by Danel Ahman  \n  ([doi](https://doi.org/10.1145/3158095))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/Ahman18.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/Ahman18.html?view=bibtex))\n  ([pdf](https://danelahman.github.io/papers/popl18.pdf))\n\n### 2017\n\n* **Staged generic programming** (ICFP 2017)  \n  by Jeremy Yallop  \n  ([doi](https://doi.org/10.1145/3110273))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/Yallop17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/Yallop17.html?view=bibtex))\n  ([pdf](https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf))\n\n* **Concurrent System Programming with Effect Handlers** (TFP 2017)  \n  by Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, and Leo White  \n  ([doi](https://doi.org/10.1007/978-3-319-89719-6_6))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html?view=bibtex))\n  ([pdf](http://kcsrk.info/papers/system_effects_feb_18.pdf))\n\n* **Handlers for Non-Monadic Computations** (IFL 2017)  \n  by Ruben P. Pieters, Tom Schrijvers, and Exequiel Rivas  \n  ([doi](https://doi.org/10.1145/3205368.3205372))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ifl/PietersSR17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ifl/PietersSR17.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2017_post.pdf))\n  ([technical report/extended version](https://www.cs.kuleuven.be/publicaties/rapporten/cw/CW713.pdf))\n\n* **Effekt: extensible algebraic effects in Scala (short paper)** (Scala 2017)  \n  by Jonathan Immanuel Brachthäuser and Philipp Schuster  \n  ([doi](https://doi.org/10.1145/3136000.3136007))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html?view=bibtex))\n\n* **Efficient Compilation of Algebraic Effects and Handlers** (2017)  \n  by Matija Pretnar, Amr Hany Saleh, Axel Faes, and Tom Schrijvers  \n  ([technical report](http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW708.pdf))\n\n* **Structured asynchrony with algebraic effects** (TyDe 2017)  \n  by Daan Leijen  \n  ([doi](https://doi.org/10.1145/3122975.3122977))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Leijen17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Leijen17.html?view=bibtex))\n  ([OpenTOC](http://www.sigplan.org/OpenTOC/tyde17.html))\n  ([technical report](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/asynceffects-msr-tr-2017-21.pdf))\n\n* **Implementing Algebraic Effects in C - \"Monads for Free in C\"** (APLAS 2017)  \n  by Daan Leijen  \n  ([doi](https://doi.org/10.1007/978-3-319-71237-6_17))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/Leijen17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/Leijen17.html?view=bibtex))\n  ([technical report](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf))\n  ([GitHub](https://github.com/koka-lang/libhandler))\n\n* **Continuation Passing Style for Effect Handlers** (FSCD 2017)  \n  by Daniel Hillerström, Sam Lindley, Robert Atkey, and K. C. Sivaramakrishnan  \n  ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2017.18))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/handlers-cps.pdf))\n\n* **On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control** (ICFP 2017)  \n  by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar  \n  ([doi](https://doi.org/10.1145/3110257))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1610.09161))\n  ([pdf](https://arxiv.org/pdf/1610.09161))\n\n* **A Generic Approach to Flow-Sensitive Polymorphic Effects** (ECOOP 2017)  \n  by Colin S. Gordon  \n  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2017.13))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html?view=bibtex))\n  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol074-ecoop2017/LIPIcs.ECOOP.2017.13/LIPIcs.ECOOP.2017.13.pdf))\n\n* **Do be do be do** (POPL 2017)  \n  by Sam Lindley, Conor McBride, and Craig McLaughlin  \n  ([doi](https://doi.org/10.1145/3009837.3009897))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1611.09259))\n  ([pdf](https://arxiv.org/pdf/1611.09259))\n\n* **Type directed compilation of row-typed algebraic effects** (POPL 2017)  \n  by Daan Leijen  \n  ([doi](https://doi.org/10.1145/3009837.3009872))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Leijen17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Leijen17.html?view=bibtex))\n\n* **No value restriction is needed for algebraic effects and handlers** (J. Funct. Program. 2017)  \n  by Ohad Kammar and Matija Pretnar  \n  ([doi](https://doi.org/10.1017/S0956796816000320))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1605.06938))\n  ([pdf](https://arxiv.org/pdf/1605.06938))\n\n### 2016\n\n* **Accepting blame for safe tunneled exceptions** (PLDI 2016)  \n  by Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers  \n  ([doi](https://doi.org/10.1145/2908080.2908086))\n  ([dblp](https://dblp.org/rec/conf/pldi/ZhangSBLM16.html))\n  ([bibtex](https://dblp.org/rec/conf/pldi/ZhangSBLM16.html?view=bibtex))\n  ([pdf](https://dl.acm.org/doi/pdf/10.1145/2908080.2908086))\n\n* **Combining effects and coeffects via grading** (ICFP 2016)  \n  by Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu  \n  ([doi](https://doi.org/10.1145/2951913.2951939))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html?view=bibtex))\n  ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/combining-effects-and-coeffects-icfp16.pdf))\n\n* **Effects as sessions, sessions as effects** (POPL 2016)  \n  by Dominic A. Orchard and Nobuko Yoshida  \n  ([doi](https://doi.org/10.1145/2837614.2837634))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html?view=bibtex))\n  ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/popl16-orchard-yoshida.pdf))\n\n* **Effect Systems Revisited - Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016)  \n  by Alan Mycroft, Dominic A. Orchard, and Tomas Petricek  \n  ([doi](https://doi.org/10.1007/978-3-319-27810-0_1))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html?view=bibtex))\n  ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/effects-revisited.pdf))\n\n* **Efficient algebraic effect handlers for Prolog** (TPLP/ICLP 2016)  \n  by Amr Hany Saleh and Tom Schrijvers  \n  ([doi](https://doi.org/10.1017/S147106841600034X))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/tplp/SalehS16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/tplp/SalehS16.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/iclp2016a.pdf))\n\n* **Eff Directly in OCaml** (ML Workshop 2016)  \n  by Oleg Kiselyov and K. C. Sivaramakrishnan  \n  ([doi](https://doi.org/10.4204/EPTCS.285.2))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html?view=bibtex))\n  ([pdf](http://kcsrk.info/papers/caml-eff17.pdf))\n  ([extended abstract](http://kcsrk.info/papers/eff_ocaml_ml16.pdf))\n\n* **Compiling Links Effect Handlers to the OCaml Backend** (ML Workshop 2016)  \n  by Daniel Hillerström, Sam Lindley, and KC Sivaramakrishnan  \n  ([pdf](http://kcsrk.info/papers/links_ocaml_ml16.pdf))\n\n* **Liberating effects with rows and handlers** (TyDe 2016)  \n  by Daniel Hillerström and Sam Lindley  \n  ([doi](https://doi.org/10.1145/2976022.2976033))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/HillerstromL16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/HillerstromL16.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf))\n\n* **Dependent Types and Fibred Computational Effects** (FoSSaCS 2016)  \n  by Danel Ahman, Neil Ghani, and Gordon D. Plotkin  \n  ([doi](https://doi.org/10.1007/978-3-662-49630-5_3))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html?view=bibtex))\n  ([pdf](https://danelahman.github.io/papers/fossacs16.pdf))\n\n* **From Monads to Effects and Back** (PADL 2016)  \n  by Niki Vazou and Daan Leijen  \n  ([doi](https://doi.org/10.1007/978-3-319-28228-2_11))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/padl/VazouL16.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/padl/VazouL16.html?view=bibtex))\n  ([pdf](http://goto.ucsd.edu/~nvazou/koka/padl16.pdf))\n\n### 2015\n\n* **Algebraic Effects, Linearity, and Quantum Programming Languages** (POPL 2015)  \n  by Sam Staton  \n  ([doi](https://doi.org/10.1145/2676726.2676999))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html?view=bibtex))\n  ([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/popl2015.pdf))\n\n* **Effective Concurrency with Algebraic Effects** (OCaml Workshop 2015)  \n  by Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy  \n  ([pdf](http://kcsrk.info/papers/effects_ocaml15.pdf))\n\n* **Fixing non-determinism** (IFL 2015)  \n  by Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens  \n  ([doi](https://doi.org/10.1145/2897336.2897342))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2015_post.pdf))\n\n* **Customizable gradual polymorphic effects for Scala** (OOPSLA 2015)  \n  by Matías Toro and Éric Tanter  \n  ([doi](https://doi.org/10.1145/2814270.2814315))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html?view=bibtex))\n\n* **Freer monads, more extensible effects** (Haskell 2015)  \n  by Oleg Kiselyov and Hiromi Ishii  \n  ([doi](https://doi.org/10.1145/2804302.2804319))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovI15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovI15.html?view=bibtex))\n  ([pdf](http://okmij.org/ftp/Haskell/extensible/more.pdf))\n\n* **Programming with algebraic effects and handlers** (JLAMP 2015)  \n  by Andrej Bauer and Matija Pretnar  \n  ([doi](https://doi.org/10.1016/j.jlamp.2014.02.001))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html?view=bibtex))\n  ([pdf](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf))\n\n* **Fusion for Free - Efficient Algebraic Effect Handlers** (MPC 2015)  \n  by Nicolas Wu and Tom Schrijvers  \n  ([doi](https://doi.org/10.1007/978-3-319-19797-5_15))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/mpc/WuS15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/mpc/WuS15.html?view=bibtex))\n  ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2015.pdf))\n\n* **Interleaving data and effects** (JFP 2015)  \n  by Robert Atkey and Patricia Johann  \n  ([doi](https://doi.org/10.1017/S0956796815000209))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html?view=bibtex))\n  ([pdf](http://bentnib.org/interleaving.pdf))\n\n* **Stateful Runners of Effectful Computations** (MFPS 2015)  \n  by Tarmo Uustalu  \n  ([doi](https://doi.org/10.1016/j.entcs.2015.12.024))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Uustalu15.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Uustalu15.html?view=bibtex))\n\n### 2014\n\n* **Algebraic Effects and Handlers in Natural Language Interpretation** (NLCS 2014)  \n  by Jiří Maršík and Maxime Amblard  \n  ([pdf](https://hal.inria.fr/hal-01079206/document))\n\n* **Algebraic effects and effect handlers for idioms and arrows** (WGP 2014)  \n  by Sam Lindley  \n  ([doi](https://doi.org/10.1145/2633628.2633636))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lindley14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lindley14.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/aeia.pdf))\n\n* **A theory of gradual effect systems** (ICFP 2014)  \n  by Felipe Bañados Schwerter, Ronald Garcia, and Éric Tanter  \n  ([doi](https://doi.org/10.1145/2628136.2628149))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html?view=bibtex))\n\n* **Effect handlers in scope** (Haskell 2014)  \n  by Nicolas Wu, Tom Schrijvers, and Ralf Hinze  \n  ([doi](https://doi.org/10.1145/2633357.2633358))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html?view=bibtex))\n  ([pdf](http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf))\n\n* **Embedding effect systems in Haskell** (Haskell 2014)  \n  by Dominic A. Orchard and Tomas Petricek  \n  ([doi](https://doi.org/10.1145/2633357.2633368))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html?view=bibtex))\n  ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/haskell14-effects.pdf))\n\n* **The semantic marriage of monads and effects** (Unpublished, 2014)  \n  by Dominic A. Orchard, Tomas Petricek, and Alan Mycroft  \n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1401.5391))\n  ([pdf](https://arxiv.org/pdf/1401.5391))\n\n* **Inferring Algebraic Effects** (LMCS 2014)  \n  by Matija Pretnar  \n  ([doi](https://doi.org/10.2168/LMCS-10(3:21)2014))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1312.2334))\n  ([pdf](https://arxiv.org/pdf/1312.2334))\n\n* **An Effect System for Algebraic Effects and Handlers** (LMCS 2014)  \n  by Andrej Bauer and Matija Pretnar  \n  ([doi](https://doi.org/10.2168/LMCS-10(4:9)2014))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1306.6316))\n  ([pdf](https://arxiv.org/pdf/1306.6316))\n\n* **Parametric effect monads and semantics of effect systems** (POPL 2014)  \n  by Shin-ya Katsumata  \n  ([doi](https://doi.org/10.1145/2535838.2535846))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html?view=bibtex))\n\n### 2013\n\n* **Programming and reasoning with algebraic effects and dependent types** (ICFP 2013)  \n  by Edwin C. Brady  \n  ([doi](https://doi.org/10.1145/2500365.2500581))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html?view=bibtex))\n  ([pdf](https://www.type-driven.org.uk/edwinb/papers/effects.pdf))\n\n* **The constrained-monad problem** (ICFP 2013)  \n  by Neil Sculthorpe, Jan Bracker, George Giorgidze, and Andy Gill  \n  ([doi](https://doi.org/10.1145/2500365.2500602))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html?view=bibtex))\n  ([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf))\n\n* **Handlers in action** (ICFP 2013)  \n  by Ohad Kammar, Sam Lindley, and Nicolas Oury  \n  ([doi](https://doi.org/10.1145/2500365.2500590))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf))\n  ([GitHub](https://github.com/slindley/effect-handlers))\n\n* **Extensible effects: an alternative to monad transformers** (Haskell 2013)  \n  by Oleg Kiselyov, Amr Sabry, and Cameron Swords  \n  ([doi](https://doi.org/10.1145/2503778.2503791))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html?view=bibtex))\n  ([pdf](https://okmij.org/ftp/Haskell/extensible/exteff.pdf))\n\n* **Java UI : Effects for Controlling UI Object Access** (ECOOP 2013)  \n  by Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman  \n  ([doi](https://doi.org/10.1007/978-3-642-39038-8_8))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html?view=bibtex))\n  ([pdf](https://www.cs.drexel.edu/~csgordon/papers/ecoop13.pdf))\n\n* **Handling Algebraic Effects** (LMCS 2013)  \n  by Gordon D. Plotkin and Matija Pretnar  \n  ([doi](https://doi.org/10.2168/LMCS-9(4:23)2013))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html?view=bibtex))\n  ([arxiv](https://arxiv.org/abs/1312.1399))\n  ([pdf](https://arxiv.org/pdf/1312.1399))\n\n* **Normalization by Evaluation and Algebraic Effects** (MFPS 2013)  \n  by Danel Ahman and Sam Staton  \n  ([doi](https://doi.org/10.1016/j.entcs.2013.09.007))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/AhmanS13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/AhmanS13.html?view=bibtex))\n  ([pdf](https://danel.ahman.ee/papers/mfps13.pdf))\n\n* **The sequential semantics of producer effect systems** (POPL 2013)  \n  by Ross Tate  \n  ([doi](https://doi.org/10.1145/2429069.2429074))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html?view=bibtex))\n\n### 2012\n\n* **Lightweight Polymorphic Effects** (ECOOP 2012)  \n  by Lukas Rytz, Martin Odersky, and Philipp Haller  \n  ([doi](https://doi.org/10.1007/978-3-642-31057-7_13))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html?view=bibtex))\n\n* **The Frank Manual** (2012)  \n  by Conor McBride  \n  ([www](https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/))\n\n* **Control.Effects** (2012)  \n  by Sjoerd Visscher\n\n* **Koka: A Language with Row-Polymorphic Effect Inference** (HOPE 2012)  \n  by Daan Leijen\n\n### 2011\n\n* **Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous** (ENTCS 2011)  \n  by Sam Lindley, Philip Wadler, and Jeremy Yallop  \n  ([doi](https://doi.org/10.1016/j.entcs.2011.02.018))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html?view=bibtex))\n\n* **Lightweight monadic programming in ML** (ICFP 2011)  \n  by Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks  \n  ([doi](https://doi.org/10.1145/2034773.2034778))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html?view=bibtex))\n  ([pdf](http://www.cs.umd.edu/~mwh/papers/monadic.pdf))\n\n* **Monads, zippers and views: virtualizing the monad stack** (ICFP 2011)  \n  by Tom Schrijvers and Bruno C. d. S. Oliveira  \n  ([doi](https://doi.org/10.1145/2034773.2034781))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html?view=bibtex))\n\n* **Just do it: simple monadic equational reasoning** (ICFP 2011)  \n  by Jeremy Gibbons and Ralf Hinze  \n  ([doi](https://doi.org/10.1145/2034773.2034777))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html?view=bibtex))\n\n### 2010\n\n* **Monad transformers as monoid transformers** (Theor. Comp. Science 2010)  \n  by Mauro Jaskelioff and Eugenio Moggi  \n  ([doi](https://doi.org/10.1016/j.tcs.2010.09.011))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html?view=bibtex))\n\n* **The Operational Monad Tutorial** (The Monad Reader, 2010)  \n  by Heinrich Apfelmus\n\n### 2009\n\n* **Handlers of Algebraic Effects** (ESOP 2009)  \n  by Gordon D. Plotkin and Matija Pretnar  \n  ([doi](https://doi.org/10.1007/978-3-642-00590-9_7))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Effect_Handlers.pdf))\n\n* **Parameterised notions of computation** (JFP 2009)  \n  by Robert Atkey  \n  ([doi](https://doi.org/10.1017/S095679680900728X))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html?view=bibtex))\n  ([pdf](http://bentnib.org/paramnotions-jfp.pdf))\n\n* **Algebras for Parameterised Monads** (CALCO 2009)  \n  by Robert Atkey  \n  ([doi](https://doi.org/10.1007/978-3-642-03741-2_2))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html?view=bibtex))\n  ([pdf](http://bentnib.org/algebras-param-monads.pdf))\n\n### 2008\n\n* **Lightweight monadic regions** (Haskell 2008)  \n  by Oleg Kiselyov and Chung-chieh Shan  \n  ([doi](https://doi.org/10.1145/1411286.1411288))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html?view=bibtex))\n\n* **A Logic for Algebraic Effects** (LICS 2008)  \n  by Gordon D. Plotkin and Matija Pretnar  \n  ([doi](https://doi.org/10.1109/LICS.2008.45))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf))\n\n* **What is a Categorical Model of Arrows?** (MSFP 2008)  \n  by Robert Atkey  \n  ([doi](https://doi.org/10.1016/j.entcs.2011.02.014))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html?view=bibtex))\n  ([pdf](http://bentnib.org/arrows.pdf))\n\n* **Data types à la carte** (JFP 2008)  \n  by Wouter Swierstra  \n  ([doi](https://doi.org/10.1017/S0956796808006758))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html?view=bibtex))\n  ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf))\n\n* **Types and trace effects of higher order programs** (JFP 2008)  \n  by Christian Skalka, Scott F. Smith, and David Van Horn  \n  ([doi](https://doi.org/10.1017/S0956796807006466))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html?view=bibtex))\n\n### 2007\n\n* **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007)  \n  by Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power  \n  ([doi](https://doi.org/10.1016/j.tcs.2006.12.026))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html?view=bibtex))\n\n### 2006\n\n* **Programming monads operationally with Unimo** (ICFP 2006)  \n  by Chuan-Kai Lin  \n  ([doi](https://doi.org/10.1145/1159803.1159840))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html?view=bibtex))\n\n* **Monadic regions** (JFP 2006)  \n  by Matthew Fluet and J. Gregory Morrisett  \n  ([doi](https://doi.org/10.1017/S095679680600596X))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html?view=bibtex))\n\n### 2003\n\n* **A Monadic Multi-stage Metalanguage** (FOSSACS 2003)  \n  by Eugenio Moggi and Sonia Fagorzi  \n  ([doi](https://doi.org/10.1007/3-540-36576-1_23))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html?view=bibtex))\n  ([pdf](https://person.dibris.unige.it/moggi-eugenio/ftp/fossacs03.pdf))\n\n* **Algebraic Operations and Generic Effects** (Applied categorical structures, 2003)  \n  by Gordon D. Plotkin and John Power  \n  ([doi](https://doi.org/10.1023/A:1023064908962))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html?view=bibtex))\n  ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf))\n\n* **The marriage of effects and monads** (Trans. Comp. Logic, 2003)  \n  by Philip Wadler and Peter Thiemann  \n  ([doi](https://doi.org/10.1145/601775.601776))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html?view=bibtex))\n\n### 2002\n\n* **Composing monads using coproducts** (ICFP 2002)  \n  by Christoph Lüth and Neil Ghani  \n  ([doi](https://doi.org/10.1145/581478.581492))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html?view=bibtex))\n\n* **Notions of Computation Determine Monads** (FoSSaCS 2002)  \n  by Gordon D. Plotkin and John Power  \n  ([doi](https://doi.org/10.1007/3-540-45931-6_24))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html?view=bibtex))\n\n### 2001\n\n* **Monadic encapsulation of effects: a revised approach (extended version)** (JFP 2001)  \n  by Eugenio Moggi and Amr Sabry  \n  ([doi](https://doi.org/10.1017/S0956796801004154))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html?view=bibtex))\n\n* **Adequacy for Algebraic Effects** (FoSSaCS 2001)  \n  by Gordon D. Plotkin and John Power  \n  ([doi](https://doi.org/10.1007/3-540-45315-6_1))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html?view=bibtex))\n\n### 2000\n\n* **Deriving backtracking monad transformers** (ICFP 2000)  \n  by Ralf Hinze  \n  ([doi](https://doi.org/10.1145/351240.351258))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html?view=bibtex))\n\n* **Monads and Effects** (APPSEM 2000)  \n  by Nick Benton, John Hughes, and Eugenio Moggi  \n  ([doi](https://doi.org/10.1007/3-540-45699-6_2))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html?view=bibtex))\n\n### 1999\n\n* **Representing Layered Monads** (POPL 1999)  \n  by Andrzej Filinski  \n  ([doi](https://doi.org/10.1145/292540.292557))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html?view=bibtex))\n  ([ps.gz](http://hjemmesider.diku.dk/~andrzej/papers/RLM.ps.gz))\n\n### 1995\n\n* **Monad Transformers and Modular Interpreters** (POPL 1995)  \n  by Sheng Liang, Paul Hudak, and Mark P. Jones  \n  ([doi](https://doi.org/10.1145/199448.199528))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html?view=bibtex))\n\n* **Monads for Functional Programming** (1995)  \n  by Philip Wadler  \n  ([doi](https://doi.org/10.1007/3-540-59451-5_2))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html?view=bibtex))\n\n### 1994\n\n* **Extensible Denotational Language Specifications** (TACS 1994)  \n  by Robert Cartwright and Matthias Felleisen  \n  ([doi](https://doi.org/10.1007/3-540-57887-0_99))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html?view=bibtex))\n  ([ps.gz](http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tacs94-cf.ps.gz))\n\n* **Building interpreters by transforming stratified monads** (Unpublished, 1994)  \n  by David Espinosa  \n  ([pdf](https://github.com/davidespinosa01/papers/blob/master/E/Espinosa%20David/espinosa-stratified-monads.pdf))\n\n* **Representing Monads** (POPL 1994)  \n  by Andrzej Filinski  \n  ([doi](https://doi.org/10.1145/174675.178047))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html?view=bibtex))\n\n* **Building Interpreters by Composing Monads** (POPL 1994)  \n  by Guy L. Steele Jr.  \n  ([doi](https://doi.org/10.1145/174675.178068))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html?view=bibtex))\n\n* **Monads and Composable Continuations** (J. Lisp \u0026 Symb. Comp. 1994)  \n  by Philip Wadler  \n  ([dblp](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html?view=bibtex))\n\n### 1993\n\n* **Imperative Functional Programming** (POPL 1993)  \n  by Simon L. Peyton Jones and Philip Wadler  \n  ([doi](https://doi.org/10.1145/158511.158524))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html?view=bibtex))\n\n* **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993)  \n  by Guy L. Steele Jr.\n\n* **Modular denotational semantics** (Unpublished, 1993)  \n  by David Espinosa  \n  ([pdf](https://github.com/davidespinosa01/papers/blob/master/E/Espinosa%20David/espinosa-semantic-lego.pdf))\n\n### 1992\n\n* **Combining Monads** (Functional Programming, 1992)  \n  by David J. King and Philip Wadler  \n  ([doi](https://doi.org/10.1007/978-1-4471-3215-8_12))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html?view=bibtex))\n\n* **The Essence of Functional Programming** (POPL 1992)  \n  by Philip Wadler  \n  ([doi](https://doi.org/10.1145/143165.143169))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html?view=bibtex))\n\n### 1991\n\n* **Notions of Computation and Monads** (Information and Computation, 93(1), 1991)  \n  by Eugenio Moggi  \n  ([doi](https://doi.org/10.1016/0890-5401(91)90052-4))\n  ([dblp](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html?view=bibtex))\n  ([pdf](https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf))\n\n### 1990\n\n* **Comprehending Monads** (Lisp and Functional Programming, 1990)  \n  by Philip Wadler  \n  ([doi](https://doi.org/10.1145/91556.91592))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html?view=bibtex))\n\n* **Abstracting Control** (LFP 1990)  \n  by Olivier Danvy and Andrzej Filinski  \n  ([doi](https://doi.org/10.1145/91556.91622))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html?view=bibtex))\n\n### 1989\n\n* **Computational Lambda-Calculus and Monads** (LICS 1989)  \n  by Eugenio Moggi  \n  ([doi](https://doi.org/10.1109/LICS.1989.39155))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html?view=bibtex))\n  ([pdf](http://www.cs.cmu.edu/~crary/819-f09/Moggi89.pdf))\n\n* **An abstract view of programming languages** (Ed. Uni. Tech Report, 1989)  \n  by Eugenio Moggi\n\n### 1988\n\n* **Polymorphic Effect Systems** (POPL 1988)  \n  by John M. Lucassen and David K. Gifford  \n  ([doi](https://doi.org/10.1145/73560.73564))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html?view=bibtex))\n\n* **The FX-87 Interpreter** (ICCL 1988)  \n  by Pierre Jouvelot and David K. Gifford  \n  ([doi](https://doi.org/10.1109/ICCL.1988.13044))\n  ([dblp](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html?view=bibtex))\n\n## Theses and Dissertations\n\n### 2024\n\n* **Runtime Verification through Algebraic Effect Handlers** (Masters Dissertation, University of Pisa)  \n  by Alessandro Scala  \n  ([pdf](https://etd.adm.unipi.it/theses/available/etd-06252024-164535/unrestricted/Runtime_Verification_Algebraic_Effect_Handlers.pdf))\n\n* **Efficient multishot algebraic effect handlers** (PhD Dissertation, University of Ljubljana)  \n  by Filip Koprivec  \n  ([pdf](https://repozitorij.uni-lj.si/Dokument.php?id=192065\u0026lang=slv))\n\n* **Automatic differentiation via effects and handlers** (PhD Dissertation, University of Edinburgh)  \n  by Jesse Sigal  \n  ([pdf](https://era.ed.ac.uk/bitstream/handle/1842/41919/Sigal2024.pdf?sequence=1\u0026isAllowed=y))\n\n* **Relational Models for a Language with Effect Capabilities** (MSc Dissertation, University of Wrocław)  \n  by Patrycja Balik  \n  ([pdf](https://ii.uni.wroc.pl/media/uploads/2024/12/01/balik-patrycja-praca.pdf))\n  ([YouTube](https://youtu.be/I8vtWYlrktU))\n\n* **Algebraic Effects and Handlers for Arrows** (PhD Dissertation, Kyoto University)  \n  by Takahiro Sanada  \n  ([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/phdthesis.pdf))\n\n### 2023\n\n* **Elaine: Elaboration of Higher-Order Effects as First-Class Language Feature** (MSc Dissertation, TU Delft)  \n  by Terts Diepraam  \n  ([pdf](https://repository.tudelft.nl/islandora/object/uuid:f6c38be6-853f-499b-aa4e-cfa2ce219bf5/datastream/OBJ/download))\n\n* **Deriving Effect Handler Semantics** (MSc Dissertation, TU Delft)  \n  by Chris Lemaire  \n  ([pdf](https://repository.tudelft.nl/islandora/object/uuid:414215b8-837d-46d5-952e-bdc5b47e47cc/datastream/OBJ/download))\n\n* **Concurrent Structures and Effect Handlers: A Batch Made in Heaven** (BSc Dissertation, Yale NUS College)  \n  by Lee Koon Wen  \n  ([pdf](https://ilyasergey.net/assets/pdf/papers/Koon-Wen-Lee-Capstone.pdf))\n\n### 2022\n\n* **Algebraic Effect Instance Scopes** (BSc Dissertation, University of Wroclaw)  \n  by Patrycja Balik  \n  ([pdf](https://ii.uni.wroc.pl/media/uploads/2022/11/18/balik-patrycja-praca.pdf))\n\n* **Comprehending Pure Functional Effect Systems** (MSc Dissertation, University of Oxford)  \n  by Daniel Tattan-Birch  \n  ([pdf](https://www.dantb.dev/files/dissertation.pdf))\n  ([Summary post](https://www.dantb.dev/posts/dissertation))\n\n### 2021\n\n* **Foundations for Programming and Implementing Effect Handlers** (PhD Dissertation, The University of Edinburgh)  \n  by Daniel Hillerström  \n  ([pdf](https://dhil.net/research/papers/thesis.pdf))\n  ([GitHub](https://github.com/dhil/phd-dissertation))\n\n* **Extending Effekt with Bidirectional Effects** (MSc Dissertation, Tokyo Institute of Technology)  \n  by Kazuki Niimi  \n  ([pdf](https://prg.is.titech.ac.jp/wp-content/uploads/2021/04/2021-03M-niimi.pdf))\n\n### 2020\n\n* **Linear Frank** (BSc Dissertation, The University of New South Wales)  \n  by James Treloar  \n  ([pdf](https://people.eng.unimelb.edu.au/rizkallahc/theses/james-treloar-honours-thesis.pdf))\n\n* **Applications of Algebraic Effect Theories** (PhD Dissertation, University of Ljubljana)  \n  by Žiga Lukšič  \n  ([pdf](https://repozitorij.uni-lj.si/Dokument.php?id=137124\u0026lang=eng))\n\n* **Asynchronous Effect Handling** (MSc Dissertation, The University of Edinburgh)  \n  by Leo Poulson  \n  ([pdf](https://raw.githubusercontent.com/leopoulson/thesis/master/thesis.pdf))\n\n* **Relational reasoning for effects and handlers** (PhD Dissertation, The University of Edinburgh)  \n  by Craig McLaughlin  \n  ([doi](http://dx.doi.org/10.7488/era/537))\n  ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html?view=bibtex))\n  ([pdf](https://era.ed.ac.uk/bitstream/handle/1842/37236/McLaughlin2020.pdf?sequence=1\u0026isAllowed=y))\n\n* **Design and Implementation of Effect Handlers for Object-Oriented Programming Languages** (PhD Dissertation, University of Tübingen)  \n  by Jonathan Immanuel Brachthäuser  \n  ([dblp](https://dblp.uni-trier.de/rec/phd/dnb/Brachthauser20.html))\n  ([bibtex](https://dblp.uni-trier.de/rec/phd/dnb/Brachthauser20.html?view=bibtex))\n\n### 2019\n\n* **Modular probabilistic programming with algebraic effects** (MSc Dissertation, University of Edinburgh)  \n  by Oliver Goldstein  \n  ([doi](http://dx.doi.org/10.7488/era/5485))\n  ([pdf](https://era.ed.ac.uk/bitstream/handle/1842/42934/GoldsteinO_2019.pdf))\n\n* **A Type System for Dynamic Instances** (MSc Dissertation, TU Delft)  \n  by Albert ten Napel  \n  ([pdf](https://repository.tudelft.nl/islandora/object/uuid:36d382d8-3ba4-4825-b718-a080b01b0649/datastream/OBJ/download))\n\n* **Efficient Algebraic Effect Handlers** (PhD Dissertation, KU Leuven)  \n  by Amr Hany Saleh  \n  ([pdf](https://lirias.kuleuven.be/retrieve/532832/))\n\n* **Program Equivalence for Algebraic Effects via Modalities** (MSc Dissertation, University of Oxford)  \n  by Cristina Matache  \n  ([pdf](https://homepages.inf.ed.ac.uk/cmatache/documents/m_diss.pdf))\n\n* **Defined algebraic operation","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyallop%2Feffects-bibliography","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fyallop%2Feffects-bibliography","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyallop%2Feffects-bibliography/lists"}