From 3f7cdc5ac40d76fe868b7b0132e395bbf05293d0 Mon Sep 17 00:00:00 2001 From: Matija Pretnar Date: Tue, 6 Aug 2024 10:10:11 +0200 Subject: [PATCH 1/5] Consistent formatting --- README.md | 49 ++++++++++++++++++++++++------------------------- 1 file changed, 24 insertions(+), 25 deletions(-) diff --git a/README.md b/README.md index bcd9562..1cc5182 100644 --- a/README.md +++ b/README.md @@ -282,7 +282,6 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html?view=bibtex)) ([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf)) - ([bibtex](https://dblp.org/rec/conf/ppdp/IkemoriCM23.html?view=bibtex)) * **Error Localization for Sequential Effect Systems** (SAS 2023) by Colin S. Gordon, Chaewon Yun @@ -426,7 +425,7 @@ in various programming languages. ([pdf](https://software.imdea.org/~aleks/icfp21/icfp21.pdf)) * **Reasoning about Effect Interaction by Fusion** (ICFP 2021) - by Zhixuan Yang and Nicolas Wu + by Zhixuan Yang and Nicolas Wu ([doi](https://doi.org/10.1145/3473578)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html?view=bibtex)) @@ -555,7 +554,7 @@ in various programming languages. ([pdf](https://dl.acm.org/doi/pdf/10.1145/3406088.3409023)) * **Handling Bidirectional Control Flow** (OOPSLA 2020) - Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers + by Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers ([doi](https://doi.org/10.1145/3428207)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html?view=bibtex)) @@ -704,35 +703,35 @@ in various programming languages. ([doi](https://doi.org/10.4204/EPTCS.317.3)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2005.00197v1.pdf)) + ([pdf](https://arxiv.org/pdf/2005.00197v1.pdf)) * **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020) by Niels Voorneveld ([doi](https://doi.org/10.4204/EPTCS.317.1)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2005.00196.pdf)) - + ([pdf](https://arxiv.org/pdf/2005.00196.pdf)) + * **Unifying graded and parameterised monads** (MSFP 2020) by Dominic Orchard, Philip Wadler and Harley Eades III ([doi](https://doi.org/10.4204/EPTCS.317.2)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2001.10274.pdf)) + ([pdf](https://arxiv.org/pdf/2001.10274.pdf)) * **Local Algebraic Effect Theories** (JFP 2020) by Žiga Lukšič and Matija Pretnar ([doi](https://doi.org/10.1017/S0956796819000212)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html?view=bibtex)) - ([arxiv](https://arxiv.org/abs/2005.13654)) + ([arxiv](https://arxiv.org/abs/2005.13654)) * **Explicit Effect Subtyping** (JFP 2020) by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen and Tom Schrijvers ([doi](https://doi.org/10.1017/S0956796820000131)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html?view=bibtex)) - ([arxiv](https://arxiv.org/abs/2005.13814)) + ([arxiv](https://arxiv.org/abs/2005.13814)) * **The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects** (POPL 2020) by Pierre-Marie Pédrot and Nicolas Tabareau @@ -764,7 +763,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html?view=bibtex)) ([pdf](https://arxiv.org/abs/1903.01237)) -* **A predicate transformer semantics for effects (Functional Pearl)** (ICFP 2020) +* **A predicate transformer semantics for effects (Functional Pearl)** (ICFP 2019) by Wouter Swierstra and Anne Baanen ([doi](https://doi.org/10.1145/3341707)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html)) @@ -801,14 +800,14 @@ in various programming languages. ([pdf](https://lmcs.episciences.org/5508/pdf)) * **Typed equivalence of effect handlers and delimited control** (FSCD 2019) - Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski + by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2019.30)) ([dblp](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html?view=bibtex)) ([pdf](https://maciejpirog.github.io/papers/typed-equivalence-fscd2019.pdf)) * **Handling Polymorphic Algebraic Effects** (ESOP 2019) - Taro Sekiyama and Atsushi Igarashi + by Taro Sekiyama and Atsushi Igarashi ([doi](https://doi.org/10.1007/978-3-030-17184-1_13)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html?view=bibtex)) @@ -852,9 +851,9 @@ in various programming languages. by Dylan McDermott and Alan Mycroft ([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf)) -* **Pyro: Deep Universal Probabilistic Programming** +* **Pyro: Deep Universal Probabilistic Programming** (2018) by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman - ([arvix](https://arxiv.org/abs/1810.09538)) + ([arxiv](https://arxiv.org/abs/1810.09538)) * **Automatic Reparameterisation in Probabilistic Programming** (AABI 2018) by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman @@ -862,7 +861,7 @@ in various programming languages. * **Effect Handling for Composable Program Transformations in Edward2** (PROBPROG 2018) by Dave Moore and Maria I. Gorinova - ([arvix](https://arxiv.org/abs/1811.06150)) + ([arxiv](https://arxiv.org/abs/1811.06150)) * **Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics** (MFPS 2018) by Ohad Kammar and Dylan McDermott @@ -894,7 +893,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html?view=bibtex)) -* **Syntax and Semantics for Operations with Scopes** (LICS 2018) +* **Syntax and Semantics for Operations with Scopes** (LICS 2018) by Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff ([doi](https://doi.org/10.1145/3209108.3209166)) ([dblp](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html)) @@ -987,7 +986,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html?view=bibtex)) -* **Efficient Compilation of Algebraic Effects and Handlers** +* **Efficient Compilation of Algebraic Effects and Handlers** (2017) by Matija Pretnar, Amr Hany Saleh, Axel Faes, and Tom Schrijvers ([technical report](http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW708.pdf)) @@ -1062,7 +1061,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/popl16-orchard-yoshida.pdf)) -* **Effect Systems Revisited -- Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016) +* **Effect Systems Revisited -- Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016) by Alan Mycroft, Dominic Orchard, and Tomas Petricek ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/effects-revisited.pdf)) @@ -1097,7 +1096,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html?view=bibtex)) ([pdf](https://danelahman.github.io/papers/fossacs16.pdf)) - + * **From Monads to Effects and Back** (PADL 2016) by Niki Vazou and Daan Leijen ([doi](https://doi.org/10.1007/978-3-319-28228-2_11)) @@ -1154,7 +1153,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html?view=bibtex)) ([pdf](http://bentnib.org/interleaving.pdf)) -* **Stateful Runners of Effectful Computations** +* **Stateful Runners of Effectful Computations** (MFPS 2015) by Tarmo Uustalu ([doi](https://doi.org/10.1016/j.entcs.2015.12.024)) ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Uustalu15.html)) @@ -1295,7 +1294,7 @@ in various programming languages. by Tom Schrijvers and Bruno C.d.S. Oliveira * **Just Do It: Simple Monadic Equational Reasoning** (ICFP 2011) - by Jeremy Gibbons and Ralf Hinze + by Jeremy Gibbons and Ralf Hinze ([doi](https://doi.org/10.1145/2034773.2034777)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html?view=bibtex)) @@ -1303,7 +1302,7 @@ in various programming languages. ### 2010 * **Monad transformers as monoid transformers** (Theor. Comp. Science 2010) - by Mauro Jaskelioff and Eugenio Moggi + by Mauro Jaskelioff and Eugenio Moggi ([doi](https://doi.org/10.1016/j.tcs.2010.09.011)) ([dblp](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/JaskelioffM10.html?view=bibtex)) @@ -1408,7 +1407,7 @@ in various programming languages. by Sheng Liang, Paul Hudak and Mark Jones * **Monads for functional programming** (1995) - Philip Wadler + by Philip Wadler ### 1994 @@ -1438,7 +1437,7 @@ in various programming languages. by David J. King and Philip Wadler * **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993) - Guy L. Steele, Jr. + by Guy L. Steele, Jr. * **Modular denotational semantics** (Unpublished, 1993) by David Espinosa @@ -1458,7 +1457,7 @@ in various programming languages. ### 1990 * **Comprehending Monads** (Lisp and Functional Programming, 1990) - Philip Wadler + by Philip Wadler * **Abstracting Control** (LFP 1990) by Olivier Danvy and Andrzej Filinski From 1d7a127041ec8679261f9a59df3aa366829961aa Mon Sep 17 00:00:00 2001 From: Matija Pretnar Date: Tue, 6 Aug 2024 11:14:40 +0200 Subject: [PATCH 2/5] Add a DBLP link to all entries that have one Closes #8 --- README.md | 130 ++++++++++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 126 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 1cc5182..d0ae1f0 100644 --- a/README.md +++ b/README.md @@ -490,6 +490,8 @@ in various programming languages. * **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021) by Jesse Sigal + ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2101.08095)) * **Staged Effects and Handlers for Modular Languages with Abstraction** (PEPM 2021) @@ -598,6 +600,8 @@ in various programming languages. * **A Reflection on Continuation-Composing Style** (FSCD 2020) by Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2020.18)) + ([dblp](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html?view=bibtex)) ([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12340/pdf/LIPIcs-FSCD-2020-18.pdf)) * **Effect Handlers in Haskell, Evidently** (Haskell 2020) @@ -845,14 +849,20 @@ in various programming languages. * **Behavioural Equivalence via Modalities for Algebraic Effects** (ESOP 2018) by Alex Simpson and Niels Voorneveld + ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html?view=bibtex)) ([pdf](https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1.pdf)) * **Call-by-need effects via coeffects** (Open Computer Science 2018) by Dylan McDermott and Alan Mycroft + ([dblp](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html?view=bibtex)) ([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf)) * **Pyro: Deep Universal Probabilistic Programming** (2018) by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman + ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1810.09538)) * **Automatic Reparameterisation in Probabilistic Programming** (AABI 2018) @@ -861,6 +871,8 @@ in various programming languages. * **Effect Handling for Composable Program Transformations in Edward2** (PROBPROG 2018) by Dave Moore and Maria I. Gorinova + ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1811.06150)) * **Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics** (MFPS 2018) @@ -871,6 +883,8 @@ in various programming languages. * **Functional Programming for Modular Bayesian Inference** (ICFP 2018) by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani + ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html?view=bibtex)) ([pdf](https://api.repository.cam.ac.uk/server/api/core/bitstreams/36a3c9ad-9633-4e69-a96f-fd76d1d49ccd/content)) * **JEff: Objects for Effect** (Onward 2018) @@ -1023,6 +1037,8 @@ in various programming languages. * **A Generic Approach to Flow-Sensitive Polymorphic Effects** (ECOOP 2017) by Colin S. Gordon ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2017.13)) + ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon17.html?view=bibtex)) ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol074-ecoop2017/LIPIcs.ECOOP.2017.13/LIPIcs.ECOOP.2017.13.pdf)) * **Do be do be do** (POPL 2017) @@ -1063,6 +1079,8 @@ in various programming languages. * **Effect Systems Revisited -- Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016) by Alan Mycroft, Dominic Orchard, and Tomas Petricek + ([dblp](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/effects-revisited.pdf)) * **Efficient Algebraic Effect Handlers for Prolog** (TPLP/ICLP 2016) @@ -1108,6 +1126,8 @@ in various programming languages. * **Algebraic Effects, Linearity, and Quantum Programming Languages** (POPL 2015) by Sam Staton + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html?view=bibtex)) ([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/popl2015.pdf)) * **Effective Concurrency with Algebraic Effects** (OCaml Workshop 2015) @@ -1124,6 +1144,8 @@ in various programming languages. * **Customizable Gradual Polymorphic Effects for Scala** (OOPSLA 2015) by Matias Toro and Eric Tanter ([doi](http://doi.acm.org/10.1145/2814270.2814315)) + ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html?view=bibtex)) * **Freer monads, more extensible effects** (Haskell 2015) by Oleg Kiselyov and Hiromi Ishii @@ -1175,6 +1197,8 @@ in various programming languages. * **A Theory of Gradual Effect Systems** (ICFP 2014) by Felipe Banados Schwerter, Ronald Garcia and Eric Tanter ([doi](http://doi.acm.org/10.1145/2628136.2628149)) + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html?view=bibtex)) * **Effect handlers in scope** (Haskell 2014) by Nicolas Wu, Tom Schrijvers and Ralf Hinze @@ -1192,6 +1216,8 @@ in various programming languages. * **The semantic marriage of monads and effects (extended abstract)** (Unpublished, 2014) by Dominic Orchard, Tomas Petricek and Alan Mycroft + ([dblp](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html?view=bibtex)) ([pdf](https://arxiv.org/pdf/1401.5391.pdf)) * **Inferring algebraic effects** (LMCS 2014) @@ -1211,6 +1237,8 @@ in various programming languages. * **Parametric Effect Monads and Semantics of Effect Systems** (POPL 2014) by Shin-ya Katsumata ([doi](https://doi.org/10.1145/2535838.2535846)) + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html?view=bibtex)) ### 2013 @@ -1223,6 +1251,8 @@ in various programming languages. * **The constrained-monad problem** (ICFP 2013) by Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html?view=bibtex)) ([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf)) * **Handlers in action** (ICFP 2013) @@ -1264,12 +1294,16 @@ in various programming languages. * **The Sequential Semantics of Producer Effect Systems** (POPL 2013) by Ross Tate ([doi](https://doi.org/10.1145/2429069.2429074)) + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html?view=bibtex)) ### 2012 -* **Lighweight Polymorphic Effects** (ECOOP 2012) +* **Lightweight Polymorphic Effects** (ECOOP 2012) by Lukas Rytz, Martin Odersky and Philipp Haller ([doi](http://dx.doi.org/10.1007/978-3-642-31057-7_13)) + ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html?view=bibtex)) * **The Frank Manual** (2012) by Conor McBride @@ -1285,13 +1319,19 @@ in various programming languages. * **Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous** (ENTCS 2011) by Sam Lindley, Philip Wadler and Jeremy Yallop + ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html?view=bibtex)) * **Lightweight Monadic Programming in ML** (ICFP 2011) by Nikhil Swamy, Nataliya Guts, Daan Leijen and Michael Hicks + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html?view=bibtex)) ([pdf](http://www.cs.umd.edu/~mwh/papers/monadic.pdf)) * **Monads, zippers and views: virtualizing the monad stack** (ICFP 2011) by Tom Schrijvers and Bruno C.d.S. Oliveira + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html?view=bibtex)) * **Just Do It: Simple Monadic Equational Reasoning** (ICFP 2011) by Jeremy Gibbons and Ralf Hinze @@ -1314,105 +1354,153 @@ in various programming languages. * **Handlers of Algebraic Effects** (ESOP 2009) by Gordon Plotkin and Matija Pretnar + ([dblp](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Effect_Handlers.pdf)) * **Parameterised Notions of Computation** (JFP 2009) by Robert Atkey + ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html?view=bibtex)) ([pdf](http://bentnib.org/paramnotions-jfp.pdf)) * **Algebras for Parameterised Monads** (CALCO 2009) by Robert Atkey + ([dblp](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html?view=bibtex)) ([pdf](http://bentnib.org/algebras-param-monads.pdf)) ### 2008 * **Lightweight Monadic Regions** (Haskell 2008) by Oleg Kiselyov and Chung-chieh Shan + ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html?view=bibtex)) * **A Logic for Algebraic Effects** (LICS 2008) by Gordon Plotkin and Matija Pretnar + ([dblp](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf)) * **What is a Categorical Model of Arrows?** (MSFP 2008) by Robert Atkey + ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html?view=bibtex)) ([pdf](http://bentnib.org/arrows.pdf)) * **Data types a la carte** (JFP 2008) by Wouter Swierstra + ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html?view=bibtex)) ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf)) * **Types and trace effects of higher-order programs** (JFP 2008) by Christian Skalka, Scott Smith, and David van Horn ([doi](https://dl.acm.org/doi/10.1017/S0956796807006466)) + ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html?view=bibtex)) ### 2007 * **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007) by Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power + ([dblp](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html?view=bibtex)) ### 2006 * **Programming Monads Operationally with Unimo** (ICFP 2006) by Chuan-kai Lin + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html?view=bibtex)) * **Monadic Regions** (JFP 2006) by Matthew Fluet and J. Gregory Morrisett + ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html?view=bibtex)) ### 2003 * **A Monadic Multi-stage Metalanguage** (FOSSACS 2003) by Eugenio Moggi and Sonia Fagorzi + ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/fossacs03.pdf)) * **Algebraic Operations and Generic Effects** (Applied categorical structures, 2003) by Gordon D. Plotkin and John Power + ([dblp](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf)) * **The Marriage of Effects and Monads** (Trans. Comp. Logic, 2003) by Philip Wadler and Peter Thiemann + ([dblp](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html?view=bibtex)) ### 2002 * **Composing Monads Using Coproducts** (ICFP 2002) by Christoph Lüth and Neil Ghani + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html?view=bibtex)) * **Notions of computation determine monads** (FoSSaCS 2002) by Gordon D. Plotkin and John Power + ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html?view=bibtex)) ### 2001 * **Monadic Encapsulation of Effects: A Revised Approach (Extended Version)** (JFP 2001) by Eugenio Moggi and Amr Sabry + ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html?view=bibtex)) * **Adequacy for algebraic effects** (FoSSaCS 2001) by Gordon D. Plotkin and John Power + ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html?view=bibtex)) ### 2000 * **Deriving Backtracking Monad Transformers** (ICFP 2000) by Ralf Hinze + ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html?view=bibtex)) * **Monads and Effects** (APPSEM 2000) by Nick Benton, John Hughes and Eugenio Moggi + ([dblp](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html?view=bibtex)) ### 1999 * **Representing layered monads** (POPL 1999) by Andrzej Filinski + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html?view=bibtex)) ([ps.gz](http://hjemmesider.diku.dk/~andrzej/papers/RLM.ps.gz)) ### 1995 * **Monad Transformers and Modular Interpreters** (POPL 1995) by Sheng Liang, Paul Hudak and Mark Jones + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html?view=bibtex)) * **Monads for functional programming** (1995) by Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html?view=bibtex)) ### 1994 * **Extensible Denotational Language Specifications** (TACS 1994) by Robert Cartwright and Matthias Felleisen + ([dblp](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html?view=bibtex)) ([ps.gz](http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tacs94-cf.ps.gz)) * **Building interpreters by transforming stratified monads** (Unpublished, 1994) @@ -1421,20 +1509,25 @@ in various programming languages. * **Representing monads** (POPL 1994) by Andrzej Filinski + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html?view=bibtex)) * **Building Interpreters by Composing Monads** (POPL 1994) by Guy L. Steele, Jr. + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html?view=bibtex)) * **Monads and composable continuations** (J. Lisp & Symb. Comp. 1994) by Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html?view=bibtex)) ### 1993 * **Imperative Functional Programming** (POPL 1993) by Simon Peyton Jones and Philip Wadler - -* **Combining Monads** (Functional Programming, 1993) - by David J. King and Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html?view=bibtex)) * **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993) by Guy L. Steele, Jr. @@ -1445,27 +1538,42 @@ in various programming languages. ### 1992 +* **Combining Monads** (Functional Programming, 1992) + by David J. King and Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html?view=bibtex)) + * **The essence of functional programming** (POPL 1992) by Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html?view=bibtex)) ### 1991 * **Notions of computation and monads** (Information and Computation, 93(1), 1991) by Eugenio Moggi + ([dblp](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html)) + ([bibtex](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf)) ### 1990 * **Comprehending Monads** (Lisp and Functional Programming, 1990) by Philip Wadler + ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html?view=bibtex)) * **Abstracting Control** (LFP 1990) by Olivier Danvy and Andrzej Filinski + ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html?view=bibtex)) ### 1989 * **Computational lambda-calculus and monads** (LICS 1989) by Eugenio Moggi + ([dblp](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf)) * **An abstract view of programming languages** (Ed. Uni. Tech Report, 1989) @@ -1475,10 +1583,14 @@ in various programming languages. * **Polymorphic effect systems** (POPL 1988) by John M. Lucassen and David K. Gifford + ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html?view=bibtex)) * **The FX-87 Interpreter** (ICCL 1988) by Pierre Jouvelot and David K. Gifford ([doi](https://doi.org/10.1109%2FICCL.1988.13044)) + ([dblp](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html)) + ([bibtex](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html?view=bibtex)) ## Theses and Dissertations @@ -1541,6 +1653,8 @@ in various programming languages. * **Relational Reasoning for Effects and Handlers** (PhD Dissertation, The University of Edinburgh) by Craig McLaughlin ([doi](http://dx.doi.org/10.7488/era/537)) + ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html)) + ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html?view=bibtex)) ([pdf](https://era.ed.ac.uk/bitstream/handle/1842/37236/McLaughlin2020.pdf?sequence=1&isAllowed=y)) * **Design and Implementation of Effect Handlers for Object-Oriented Programming Languages** (PhD Dissertation, University of Tübingen) @@ -1564,6 +1678,8 @@ in various programming languages. * **Defined Algebraic Operations** (PhD Dissertation, University of Birmingham) by Bram Geron + ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html)) + ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html?view=bibtex)) ([pdf](https://etheses.bham.ac.uk//id/eprint/10520/1/Geron2020PhD.pdf)) ### 2018 @@ -1576,6 +1692,8 @@ in various programming languages. * **Distributive Interaction of Algebraic Effects** (PhD Dissertation, University of Oxford) by Kwok-Ho Cheung + ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html)) + ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html?view=bibtex)) ([pdf](https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818/download_file?file_format=pdf&safe_filename=report.pdf&type_of_work=Thesis)) * **Enhancing a Modular Effectful Programming Language** (MSc Dissertation, The University of Edinburgh) @@ -1584,6 +1702,8 @@ in various programming languages. * **Fibred Computational Effects** (PhD Dissertation, The University of Edinburgh) by Danel Ahman + ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html)) + ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html?view=bibtex)) ([pdf](https://danel.ahman.ee/papers/phd-thesis.pdf)) ### 2016 @@ -1606,6 +1726,8 @@ in various programming languages. * **The Logic and Handling of Algebraic Effects** (PhD Dissertation, The University of Edinburgh) by Matija Pretnar + ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html)) + ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html?view=bibtex)) ([pdf](https://www.era.lib.ed.ac.uk/bitstream/handle/1842/4611/Pretnar2010.pdf)) ### 1996 From 54348a62931c6fa5c615463012661f7aa85c3051 Mon Sep 17 00:00:00 2001 From: Matija Pretnar Date: Tue, 6 Aug 2024 12:44:07 +0200 Subject: [PATCH 3/5] Use DBLP to add missing DOIs and fix metadata errors --- .lycheeignore | 1 + README.md | 370 ++++++++++++++++++++++++++++---------------------- 2 files changed, 207 insertions(+), 164 deletions(-) diff --git a/.lycheeignore b/.lycheeignore index 860d154..20c2d43 100644 --- a/.lycheeignore +++ b/.lycheeignore @@ -2,6 +2,7 @@ https://dl.acm.org/doi/pdf/.* https://www.cs.drexel.edu/.* https://www.cs.uoregon.edu/research/summerschool/.* https://www.macs.hw.ac.uk/splv/.* +https://doi.org/10.1017/.* https://doi.org/10.1145/.* https://dblp.uni-trier.de/rec/.* https://ecommons.cornell.edu/handle/.* \ No newline at end of file diff --git a/README.md b/README.md index d0ae1f0..bf523d8 100644 --- a/README.md +++ b/README.md @@ -206,9 +206,9 @@ in various programming languages. ### 2015 -* **An Introduction to Algebraic Effects and Handlers** (MFPS 2015) +* **An Introduction to Algebraic Effects and Handlers. Invited tutorial paper** (MFPS 2015) by Matija Pretnar - ([doi](http://dx.doi.org/10.1016/j.entcs.2015.12.003)) + ([doi](https://doi.org/10.1016/j.entcs.2015.12.003)) ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Pretnar15.html?view=bibtex)) ([pdf](http://www.eff-lang.org/handlers-tutorial.pdf)) @@ -219,7 +219,7 @@ in various programming languages. * **Asymptotic speedup via effect handlers** (JFP 2024) by Daniel Hillerström, Sam Lindley, and John Longley - ([doi](https://doi.org/10.1017/S0956796824000030)) + ([doi](https://doi.org/10.1017/s0956796824000030)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLL24.html?view=bibtex)) ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/296879DE2FD96FB6CF388F27978C76E4/S0956796824000030a.pdf/asymptotic-speedup-via-effect-handlers.pdf)) @@ -276,7 +276,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html?view=bibtex)) ([arxiv](https://doi.org/10.48550/arXiv.2308.08347)) -* **Typed equivalence of labeled effect handlers and labeled delimited control operators** (PPDP 2023) +* **Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators** (PPDP 2023) by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara ([doi](https://doi.org/10.1145/3610612.3610616)) ([dblp](https://dblp.uni-trier.de/rec/conf/ppdp/IkemoriCM23.html)) @@ -284,7 +284,7 @@ in various programming languages. ([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf)) * **Error Localization for Sequential Effect Systems** (SAS 2023) - by Colin S. Gordon, Chaewon Yun + by Colin S. Gordon and Chaewon Yun ([doi](https://doi.org/10.1007/978-3-031-44245-2_16)) ([dblp](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/sas/GordonY23.html?view=bibtex)) @@ -304,15 +304,15 @@ in various programming languages. ([pdf](https://dl.acm.org/doi/pdf/10.1145/3607846)) * **Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects** (POPL 2023) - by Casper Bach Poulsen and Cas Van Der Rest - ([doi](https://dl.acm.org/doi/abs/10.1145/3571255)) + by Casper Bach Poulsen and Cas van der Rest + ([doi](https://doi.org/10.1145/3571255)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PoulsenR23.html?view=bibtex)) ([pdf](http://casperbp.net/store/hefty-algebras.pdf)) * **Towards a Reflection for Effect Handlers** (PEPM 2023) by Youyou Cong and Kenichi Asai - ([doi](https://dl.acm.org/doi/abs/10.1145/3571786.3573015)) + ([doi](https://doi.org/10.1145/3571786.3573015)) ([dblp](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/pepm/CongA23.html?view=bibtex)) @@ -332,7 +332,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/NguyenPWW22.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3547635)) -* **Automated Temporal Verification for Algebraic Effects** (APLAS 2022) +* **Automated Temporal Verification for Algebraic Effects** (APLAS 2022) by Yahui Song, Darius Foo, and Wei-Ngan Chin ([doi](https://doi.org/10.1007/978-3-031-21037-2_5)) ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/SongFC22.html)) @@ -346,7 +346,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/DvirKL22.html?view=bibtex)) ([pdf](https://www.cs.tau.ac.il/~orilahav/papers/aplas22full.pdf)) -* **First-class Names for Effect Handlers** (OOPSLA 2022) +* **First-class names for effect handlers** (OOPSLA 2022) by Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen ([doi](https://doi.org/10.1145/3563289)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieCIL22.html)) @@ -354,20 +354,20 @@ in various programming languages. ([pdf](https://xnning.github.io/papers/oopsla22namedh.pdf)) * **High-level effect handlers in C++** (OOPSLA 2022) - by Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg + by Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg ([doi](https://doi.org/10.1145/3563445)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/GhicaLBP22.html?view=bibtex)) ([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/cppeff.pdf)) -* **Algebraic effects for extensible dynamic semantics** (Journal of Logic, Language and Information) +* **Algebraic Effects for Extensible Dynamic Semantics** (Journal of Logic, Language and Information) by Julian Grove and Jean-Philippe Bernardy ([doi](https://doi.org/10.1007/s10849-022-09378-7)) ([dblp](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jolli/GroveB23.html?view=bibtex)) ([pdf](https://semanticsarchive.net/Archive/TMxNGE3M/algebraic.pdf)) -* **A Typed Continuation-Passing Translation for Lexical Effect Handlers** (PLDI 2022) +* **A typed continuation-passing translation for lexical effect handlers** (PLDI 2022) by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann ([doi](https://doi.org/10.1145/3519939.3523710)) ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/SchusterB0O22.html)) @@ -382,7 +382,7 @@ in various programming languages. ([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf)) ([pdf (extended version)](https://arxiv.org/pdf/2201.10287.pdf)) -* **Effects, Capabilities, and Boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back** (OOPSLA 2022) +* **Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back** (OOPSLA 2022) by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki ([doi](https://doi.org/10.1145/3527320)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSLB22.html)) @@ -391,14 +391,14 @@ in various programming languages. ### 2021 -* **Efficient Compilation of Algebraic Effect Handlers** (OOPSLA 2021) +* **Efficient compilation of algebraic effect handlers** (OOPSLA 2021) by Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers ([doi](https://doi.org/10.1145/3485479)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/KarachaliasKPS21.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3485479)) -* **Latent Effects for Resuable Language Components** (APLAS 2021) +* **Latent Effects for Reusable Language Components** (APLAS 2021) by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu ([doi](https://doi.org/10.1007/978-3-030-89051-3_11)) ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html)) @@ -417,14 +417,14 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/PunchihewaW21.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3471874.3472988)) -* **Contextual Modal Types for Algebraic Effects and Handlers** (ICFP 2021) +* **Contextual modal types for algebraic effects and handlers** (ICFP 2021) by Nikita Zyuzin and Aleksandar Nanevski ([doi](https://doi.org/10.1145/3473580)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZyuzinN21.html?view=bibtex)) ([pdf](https://software.imdea.org/~aleks/icfp21/icfp21.pdf)) -* **Reasoning about Effect Interaction by Fusion** (ICFP 2021) +* **Reasoning about effect interaction by fusion** (ICFP 2021) by Zhixuan Yang and Nicolas Wu ([doi](https://doi.org/10.1145/3473578)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/YangW21.html)) @@ -432,7 +432,7 @@ in various programming languages. ([pdf](https://dl.acm.org/doi/pdf/10.1145/3473578)) ([extended pdf](https://yangzhixuan.github.io/pdf/fused-reasoning-appendices.pdf)) -* **Generalized Evidence Passing for Effect Handlers** (ICFP 2021) +* **Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C** (ICFP 2021) by Ningning Xie and Daan Leijen ([doi](https://doi.org/10.1145/3473576)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieL21.html)) @@ -473,7 +473,7 @@ in various programming languages. by Sam Lindley ([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/handler-calculus-draft-may2021.pdf)) -* **Retrofitting Effect Handlers onto OCaml** (PLDI 2021) +* **Retrofitting effect handlers onto OCaml** (PLDI 2021) by KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy ([doi](https://doi.org/10.1145/3453483.3454039)) ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html)) @@ -498,14 +498,14 @@ in various programming languages. by Casper Bach Poulsen, Cas van der Rest, and Tom Schrijvers ([pdf](https://casvdrest.github.io/staged-effects.agda/pepm21.pdf)) -* **A Separation Logic for Effect Handlers** (POPL 2021) +* **A separation logic for effect handlers** (POPL 2021) by Paulo Emílio de Vilhena and François Pottier ([doi](https://doi.org/10.1145/3434314)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/VilhenaP21.html?view=bibtex)) ([pdf](https://inria.hal.science/hal-03049514v1/document)) -* **Asynchronous Effects** (POPL 2021) +* **Asynchronous effects** (POPL 2021) by Danel Ahman and Matija Pretnar ([doi](https://doi.org/10.1145/3434305)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html)) @@ -524,11 +524,11 @@ in various programming languages. * **Modular verification of programs with effects and effects handlers** (FAOC 2020) by Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet - ([doi](https://dx.doi.org/10.1007/s00165-020-00523-2)) + ([doi](https://doi.org/10.1007/s00165-020-00523-2)) ([dblp](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/fac/LetanRCH21.html?view=bibtex)) -* **Not by equations alone: reasoning with extensible effects** (JFP 2020) +* **Not by equations alone: Reasoning with extensible effects** (JFP 2020) by Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry ([doi](https://doi.org/10.1017/S0956796820000271)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KiselyovMS21.html)) @@ -541,28 +541,28 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/icml/GorinovaMH20.html?view=bibtex)) ([pdf](http://proceedings.mlr.press/v119/gorinova20a/gorinova20a.pdf)) -* **Compiling Symbolic Execution with Staging and Algebraic Effects** (OOPSLA 2020) +* **Compiling symbolic execution with staging and algebraic effects** (OOPSLA 2020) by Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf ([doi](https://doi.org/10.1145/3428232)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/WeiBTR20.html?view=bibtex)) ([pdf](https://bracevac.org/assets/pdf/oopsla20.pdf)) -* **Composing Effects into Tasks and Workflows** (Haskell 2020) +* **Composing effects into tasks and workflows** (Haskell 2020) by Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg - ([doi](https://doi.org/10.1145/3410242)) + ([doi](https://doi.org/10.1145/3406088.3409023)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/ParesBE20.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3406088.3409023)) -* **Handling Bidirectional Control Flow** (OOPSLA 2020) +* **Handling bidirectional control flow** (OOPSLA 2020) by Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers ([doi](https://doi.org/10.1145/3428207)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangSM20.html?view=bibtex)) ([pdf](https://www.cs.cornell.edu/andru/papers/ufo/bidirectional-effects.pdf)) -* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants** (ECOOP 2020) +* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)** (ECOOP 2020) by Colin S. Gordon ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.10)) ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/Gordon19.html)) @@ -583,7 +583,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/ppdp/McDermottPU20.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3414080.3414084)) -* **Wasm/k: Delimited Continuations for WebAssembly** (DLS 2020) +* **Wasm/k: delimited continuations for WebAssembly** (DLS 2020) by Donald Pinckney, Arjun Guha, and Yuriy Brun ([doi](https://doi.org/10.1145/3426422.3426978)) ([dblp](https://dblp.uni-trier.de/rec/conf/dls/PinckneyGB20.html)) @@ -604,7 +604,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/fscd/BiernackiPS20.html?view=bibtex)) ([pdf](https://drops.dagstuhl.de/opus/volltexte/2020/12340/pdf/LIPIcs-FSCD-2020-18.pdf)) -* **Effect Handlers in Haskell, Evidently** (Haskell 2020) +* **Effect handlers in Haskell, evidently** (Haskell 2020) by Ningning Xie and Daan Leijen ([doi](https://doi.org/10.1145/3406088.3409022)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/XieL20.html)) @@ -612,20 +612,20 @@ in various programming languages. ([pdf](https://www.microsoft.com/en-us/research/uploads/prod/2020/07/effev.pdf)) * **Effects as capabilities: effect handlers and lightweight effect polymorphism** (OOPSLA 2020) - by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann + by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann ([doi](https://doi.org/10.1145/3428194)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO20.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3428194)) -* **One-shot Algebraic Effects as Coroutines** (TFP 2020) +* **One-Shot Algebraic Effects as Coroutines** (TFP 2020) by Satoru Kawahara and Yukiyoshi Kameyama ([doi](https://doi.org/10.1007/978-3-030-57761-2_8)) ([dblp](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/KawaharaK20.html?view=bibtex)) ([pdf](http://logic.cs.tsukuba.ac.jp/~sat/pdf/tfp2020.pdf)) -* **Generalized Monoidal Effects And Handlers** (JFP 2020) +* **Generalized monoidal effects and handlers** (JFP 2020) by Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers ([doi](https://doi.org/10.1017/S0956796820000106)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/PietersRS20.html)) @@ -639,21 +639,21 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html?view=bibtex)) ([pdf](https://arxiv.org/pdf/2003.08138)) -* **Effects for Efficiency: Asymptotic Speedup with First-Class Control** (ICFP 2020) +* **Effects for efficiency: asymptotic speedup with first-class control** (ICFP 2020) by Daniel Hillerström, Sam Lindley, and John Longley ([doi](https://doi.org/10.1145/3408982)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2007.00605)) -* **Effect Handlers, Evidently** (ICFP 2020) +* **Effect handlers, evidently** (ICFP 2020) by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen ([doi](https://doi.org/10.1145/3408981)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XieBHSL20.html?view=bibtex)) ([pdf](https://www.dhil.net/research/papers/effect_handlers_evidently-extended-icfp2020.pdf)) -* **Compiling Effect Handlers in Capability-Passing Style** (ICFP 2020) +* **Compiling effect handlers in capability-passing style** (ICFP 2020) by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann ([doi](https://doi.org/10.1145/3408975)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SchusterBO20.html)) @@ -681,21 +681,21 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/HillerstromLA20.html?view=bibtex)) ([pdf](https://dhil.net/research/papers/generalised_continuations-jfp2020.pdf)) -* **Runners in action** (ESOP 2020) +* **Runners in Action** (ESOP 2020) by Danel Ahman and Andrej Bauer ([doi](https://doi.org/10.1007/978-3-030-44914-8_2)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html?view=bibtex)) ([arxiv](https://arxiv.org/pdf/1910.11629.pdf)) -* **Interaction Trees: Representing Recursive and Impure Programs in Coq** (POPL 2020) - by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic +* **Interaction trees: representing recursive and impure programs in Coq** (POPL 2020) + by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic ([doi](https://doi.org/10.1145/3371119)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/XiaZHHMPZ20.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3371119?download=true)) -* **Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers** (POPL 2020) +* **Binders by day, labels by night: effect instances via lexically scoped handlers** (POPL 2020) by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski ([doi](https://doi.org/10.1145/3371116)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS20.html)) @@ -710,34 +710,34 @@ in various programming languages. ([pdf](https://arxiv.org/pdf/2005.00197v1.pdf)) * **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020) - by Niels Voorneveld + by Niels F. W. Voorneveld ([doi](https://doi.org/10.4204/EPTCS.317.1)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html?view=bibtex)) ([pdf](https://arxiv.org/pdf/2005.00196.pdf)) * **Unifying graded and parameterised monads** (MSFP 2020) - by Dominic Orchard, Philip Wadler and Harley Eades III + by Dominic Orchard, Philip Wadler, and Harley Eades III ([doi](https://doi.org/10.4204/EPTCS.317.2)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html?view=bibtex)) ([pdf](https://arxiv.org/pdf/2001.10274.pdf)) -* **Local Algebraic Effect Theories** (JFP 2020) +* **Local algebraic effect theories** (JFP 2020) by Žiga Lukšič and Matija Pretnar ([doi](https://doi.org/10.1017/S0956796819000212)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2005.13654)) -* **Explicit Effect Subtyping** (JFP 2020) - by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen and Tom Schrijvers +* **Explicit effect subtyping** (JFP 2020) + by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers ([doi](https://doi.org/10.1017/S0956796820000131)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2005.13814)) -* **The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects** (POPL 2020) +* **The fire triangle: how to mix substitution, dependent elimination, and effects** (POPL 2020) by Pierre-Marie Pédrot and Nicolas Tabareau ([doi](https://doi.org/10.1145/3371126)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PedrotT20.html)) @@ -753,35 +753,35 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MatacheS19.html?view=bibtex)) ([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/fossacs-2019.pdf)) -* **On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control** (JFP, ICFP 2017 special issue) +* **On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control** (JFP, ICFP 2017 special issue) by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar ([doi](https://doi.org/10.1017/S0956796819000121)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/0002KLP19.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/effmondel-jfp.pdf)) -* **Dijkstra Monads for All** (ICFP 2019) - by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas and Éric Tanter +* **Dijkstra monads for all** (ICFP 2019) + by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter ([doi](https://doi.org/10.1145/3341708)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html?view=bibtex)) ([pdf](https://arxiv.org/abs/1903.01237)) -* **A predicate transformer semantics for effects (Functional Pearl)** (ICFP 2019) +* **A predicate transformer semantics for effects (functional pearl)** (ICFP 2019) by Wouter Swierstra and Anne Baanen ([doi](https://doi.org/10.1145/3341707)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SwierstraB19.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3341707?download=true)) -* **Monad transformers and modular algebraic effects: What binds them together** (Haskell 2019) +* **Monad transformers and modular algebraic effects: what binds them together** (Haskell 2019) by Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff ([doi](https://doi.org/10.1145/3331545.3342595)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/SchrijversPWJ19.html?view=bibtex)) ([pdf](https://maciejpirog.github.io/papers/what-binds-them-together.pdf)) -* **A Hierarchy of Monadic Effects for Program Verification using Equational Reasoning** (MPC 2019) +* **A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning** (MPC 2019) by Reynald Affeldt, David Nowak, and Takafumi Saikawa ([doi](https://doi.org/10.1007/978-3-030-33636-3_9)) ([dblp](https://dblp.uni-trier.de/rec/conf/mpc/AffeldtNS19.html)) @@ -798,12 +798,12 @@ in various programming languages. * **Bisimulations for Delimited-Control Operators** (LMCS 2019) by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk - ([doi](https://doi.org/10.23638/LMCS-15(2:18)2019)) + ([doi](https://doi.org/10.23638/LMCS-15%282:18%292019)) ([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html?view=bibtex)) ([pdf](https://lmcs.episciences.org/5508/pdf)) -* **Typed equivalence of effect handlers and delimited control** (FSCD 2019) +* **Typed Equivalence of Effect Handlers and Delimited Control** (FSCD 2019) by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2019.30)) ([dblp](https://dblp.uni-trier.de/rec/conf/rta/PirogPS19.html)) @@ -817,29 +817,29 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html?view=bibtex)) ([arxiv](https://arxiv.org/pdf/1811.07332)) -* **Extended call-by-push-value: reasoning about effectful programs and evaluation order** (ESOP 2019) +* **Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order** (ESOP 2019) by Dylan McDermott and Alan Mycroft ([doi](https://doi.org/10.1007/978-3-030-17184-1_9)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/McDermottM19.html?view=bibtex)) ([pdf](https://www.cl.cam.ac.uk/~dm606/extended-call-by-push-value.pdf)) -* **Abstracting Algebraic Effects** (POPL 2019) +* **Abstracting algebraic effects** (POPL 2019) by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski ([doi](https://doi.org/10.1145/3290319)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS19.html?view=bibtex)) ([pdf](https://maciejpirog.github.io/papers/biernacki-al-popl19.pdf)) -* **Abstraction-Safe Effect Handlers via Tunneling** (POPL 2019) - by Yizhou Zhang and Andrew Myers +* **Abstraction-safe effect handlers via tunneling** (POPL 2019) + by Yizhou Zhang and Andrew C. Myers ([doi](https://doi.org/10.1145/3290318)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ZhangM19.html?view=bibtex)) ([technical report](https://ecommons.cornell.edu/handle/1813/60202)) * **Behavioural Equivalence via Modalities for Algebraic Effects** (TOPLAS 2019) - by Alex Simpson and Niels Voorneveld + by Alex Simpson and Niels F. W. Voorneveld ([doi](https://doi.org/10.1145/3363518)) ([dblp](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/SimpsonV20.html?view=bibtex)) @@ -848,19 +848,21 @@ in various programming languages. ### 2018 * **Behavioural Equivalence via Modalities for Algebraic Effects** (ESOP 2018) - by Alex Simpson and Niels Voorneveld + by Alex Simpson and Niels F. W. Voorneveld + ([doi](https://doi.org/10.1007/978-3-319-89884-1_11)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SimpsonV18.html?view=bibtex)) ([pdf](https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1.pdf)) * **Call-by-need effects via coeffects** (Open Computer Science 2018) by Dylan McDermott and Alan Mycroft + ([doi](https://doi.org/10.1515/comp-2018-0009)) ([dblp](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/cejcs/McDermottM18.html?view=bibtex)) ([pdf](https://www.cl.cam.ac.uk/~dm606/call-by-need-effects.pdf)) * **Pyro: Deep Universal Probabilistic Programming** (2018) - by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman + by Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1810.09538)) @@ -881,27 +883,28 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/KammarM18.html?view=bibtex)) -* **Functional Programming for Modular Bayesian Inference** (ICFP 2018) +* **Functional programming for modular Bayesian inference** (ICFP 2018) by Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani + ([doi](https://doi.org/10.1145/3236778)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/ScibiorKG18.html?view=bibtex)) ([pdf](https://api.repository.cam.ac.uk/server/api/core/bitstreams/36a3c9ad-9633-4e69-a96f-fd76d1d49ccd/content)) -* **JEff: Objects for Effect** (Onward 2018) +* **JEff: objects for effect** (Onward 2018) by Pablo Inostroza and Tijs van der Storm ([doi](https://doi.org/10.1145/3276954.3276955)) ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/InostrozaS18.html?view=bibtex)) ([pdf](https://homepages.cwi.nl/~storm/publications/jeff.pdf)) -* **Effect Handlers for the Masses** (OOPSLA 2018) +* **Effect handlers for the masses** (OOPSLA 2018) by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann ([doi](https://doi.org/10.1145/3276481)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/BrachthauserSO18.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3276481)) -* **Abstract Nonsense** (FARM 2018) +* **Abstract nonsense** (FARM 2018) by Junia Gonçalves ([doi](https://doi.org/10.1145/3242903.3242908)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Goncalves18.html)) @@ -914,7 +917,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PirogSWJ18.html?view=bibtex)) ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/lics2018.pdf)) -* **First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers** (TyDe 2018) +* **First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers** (TyDe 2018) by Daan Leijen ([doi](https://doi.org/10.1145/3240719.3241789)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Leijen18.html)) @@ -931,7 +934,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/HillerstromL18.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/shallow-extended.pdf)) -* **Versatile Event Correlation with Algebraic Effects** (ICFP 2018) +* **Versatile event correlation with algebraic effects** (ICFP 2018) by Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini ([doi](https://doi.org/10.1145/3236762)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BracevacASEEM18.html)) @@ -955,7 +958,7 @@ in various programming languages. ([pdf with appendix](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/esop2018.pdf)) ([technical report/extended version](https://lirias.kuleuven.be/bitstream/123456789/616205/1/CW711.pdf)) -* **Handle with Care: Relational Interpretation of Algebraic Effects and Handlers** (POPL 2018) +* **Handle with care: relational interpretation of algebraic effects and handlers** (POPL 2018) by Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski ([doi](https://doi.org/10.1145/3158096)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/BiernackiPPS18.html)) @@ -972,7 +975,7 @@ in various programming languages. ### 2017 -* **Staged Generic Programming** (ICFP 2017) +* **Staged generic programming** (ICFP 2017) by Jeremy Yallop ([doi](https://doi.org/10.1145/3110273)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/Yallop17.html)) @@ -980,7 +983,7 @@ in various programming languages. ([pdf](https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf)) * **Concurrent System Programming with Effect Handlers** (TFP 2017) - by Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White + by Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White ([doi](https://doi.org/10.1007/978-3-319-89719-6_6)) ([dblp](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html?view=bibtex)) @@ -994,7 +997,7 @@ in various programming languages. ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2017_post.pdf)) ([technical report/extended version](https://lirias.kuleuven.be/bitstream/123456789/617988/1/CW713.pdf)) -* **Effekt: Extensible Algebraic Effects in Scala** (Scala 2017) +* **Effekt: extensible algebraic effects in Scala (short paper)** (Scala 2017) by Jonathan Immanuel Brachthäuser and Philipp Schuster ([doi](https://doi.org/10.1145/3136000.3136007)) ([dblp](https://dblp.uni-trier.de/rec/conf/scala/BrachthauserS17.html)) @@ -1012,7 +1015,7 @@ in various programming languages. ([OpenTOC](http://www.sigplan.org/OpenTOC/tyde17.html)) ([technical report](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/asynceffects-msr-tr-2017-21.pdf)) -* **Implementing Algebraic Effects in C (or "Monads for Free in C")** (APLAS 2017) +* **Implementing Algebraic Effects in C - "Monads for Free in C"** (APLAS 2017) by Daan Leijen ([doi](https://doi.org/10.1007/978-3-319-71237-6_17)) ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/Leijen17.html)) @@ -1027,7 +1030,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/handlers-cps.pdf)) -* **On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control** (ICFP 2017) +* **On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control** (ICFP 2017) by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar ([doi](https://doi.org/10.1145/3110257)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html)) @@ -1063,27 +1066,28 @@ in various programming languages. ### 2016 -* **Combining Effects and Coeffects via Grading** (ICFP 2016) - by Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, and Tarmo Uustalu +* **Combining effects and coeffects via grading** (ICFP 2016) + by Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu ([doi](https://doi.org/10.1145/2951913.2951939)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/GaboardiKOBU16.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/combining-effects-and-coeffects-icfp16.pdf)) -* **Effects as Sessions, Sessions as Effects** (POPL 2016) - by Dominic Orchard and Nobuko Yoshida +* **Effects as sessions, sessions as effects** (POPL 2016) + by Dominic A. Orchard and Nobuko Yoshida ([doi](https://doi.org/10.1145/2837614.2837634)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/OrchardY16.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/popl16-orchard-yoshida.pdf)) -* **Effect Systems Revisited -- Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016) - by Alan Mycroft, Dominic Orchard, and Tomas Petricek +* **Effect Systems Revisited - Control-Flow Algebra and Semantics** (Semantics, Logics, and Calculi 2016) + by Alan Mycroft, Dominic A. Orchard, and Tomas Petricek + ([doi](https://doi.org/10.1007/978-3-319-27810-0_1)) ([dblp](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/birthday/MycroftOP16.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/effects-revisited.pdf)) -* **Efficient Algebraic Effect Handlers for Prolog** (TPLP/ICLP 2016) +* **Efficient algebraic effect handlers for Prolog** (TPLP/ICLP 2016) by Amr Hany Saleh and Tom Schrijvers ([doi](https://doi.org/10.1017/S147106841600034X)) ([dblp](https://dblp.uni-trier.de/rec/journals/tplp/SalehS16.html)) @@ -1110,7 +1114,8 @@ in various programming languages. ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf)) * **Dependent Types and Fibred Computational Effects** (FoSSaCS 2016) - by Danel Ahman, Neil Ghani, and Gordon Plotkin + by Danel Ahman, Neil Ghani, and Gordon D. Plotkin + ([doi](https://doi.org/10.1007/978-3-662-49630-5_3)) ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/AhmanGP16.html?view=bibtex)) ([pdf](https://danelahman.github.io/papers/fossacs16.pdf)) @@ -1126,6 +1131,7 @@ in various programming languages. * **Algebraic Effects, Linearity, and Quantum Programming Languages** (POPL 2015) by Sam Staton + ([doi](https://doi.org/10.1145/2676726.2676999)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Staton15.html?view=bibtex)) ([pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/popl2015.pdf)) @@ -1134,16 +1140,16 @@ in various programming languages. by Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy ([pdf](http://kcsrk.info/papers/effects_ocaml15.pdf)) -* **Fixing Non-determinism** (IFL 2015) +* **Fixing non-determinism** (IFL 2015) by Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens ([doi](https://doi.org/10.1145/2897336.2897342)) ([dblp](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/ifl/VandenbrouckeSP15.html?view=bibtex)) ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2015_post.pdf)) -* **Customizable Gradual Polymorphic Effects for Scala** (OOPSLA 2015) - by Matias Toro and Eric Tanter - ([doi](http://doi.acm.org/10.1145/2814270.2814315)) +* **Customizable gradual polymorphic effects for Scala** (OOPSLA 2015) + by Matias Toro and Eric Tanter + ([doi](https://doi.org/10.1145/2814270.2814315)) ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html?view=bibtex)) @@ -1154,14 +1160,14 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovI15.html?view=bibtex)) ([pdf](http://okmij.org/ftp/Haskell/extensible/more.pdf)) -* **Programming with Algebraic Effects and Handlers** (JLAMP 2015) +* **Programming with algebraic effects and handlers** (JLAMP 2015) by Andrej Bauer and Matija Pretnar - ([doi](http://dx.doi.org/10.1016/j.jlamp.2014.02.001)) + ([doi](https://doi.org/10.1016/j.jlamp.2014.02.001)) ([dblp](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html?view=bibtex)) ([arxiv](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf)) -* **Fusion for Free: Efficient Algebraic Effect Handlers** (MPC 2015) +* **Fusion for Free - Efficient Algebraic Effect Handlers** (MPC 2015) by Nicolas Wu and Tom Schrijvers ([doi](https://doi.org/10.1007/978-3-319-19797-5_15)) ([dblp](https://dblp.uni-trier.de/rec/conf/mpc/WuS15.html)) @@ -1170,7 +1176,7 @@ in various programming languages. * **Interleaving data and effects** (JFP 2015) by Robert Atkey and Patricia Johann - ([doi](http://dx.doi.org/10.1017/S0956796815000209)) + ([doi](https://doi.org/10.1017/S0956796815000209)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/AtkeyJ15.html?view=bibtex)) ([pdf](http://bentnib.org/interleaving.pdf)) @@ -1194,33 +1200,33 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lindley14.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/slindley/papers/aeia.pdf)) -* **A Theory of Gradual Effect Systems** (ICFP 2014) - by Felipe Banados Schwerter, Ronald Garcia and Eric Tanter - ([doi](http://doi.acm.org/10.1145/2628136.2628149)) +* **A theory of gradual effect systems** (ICFP 2014) + by Felipe Bañados Schwerter, Ronald Garcia, and Éric Tanter + ([doi](https://doi.org/10.1145/2628136.2628149)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchwerterGT14.html?view=bibtex)) * **Effect handlers in scope** (Haskell 2014) - by Nicolas Wu, Tom Schrijvers and Ralf Hinze + by Nicolas Wu, Tom Schrijvers, and Ralf Hinze ([doi](https://doi.org/10.1145/2633357.2633358)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/WuSH14.html?view=bibtex)) ([pdf](http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf)) * **Embedding effect systems in Haskell** (Haskell 2014) - by Dominic Orchard and Tomas Petricek + by Dominic A. Orchard and Tomas Petricek ([doi](https://doi.org/10.1145/2633357.2633368)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/OrchardP14.html?view=bibtex)) ([pdf](https://www.cs.kent.ac.uk/people/staff/dao7/publ/haskell14-effects.pdf)) -* **The semantic marriage of monads and effects (extended abstract)** (Unpublished, 2014) - by Dominic Orchard, Tomas Petricek and Alan Mycroft +* **The semantic marriage of monads and effects** (Unpublished, 2014) + by Dominic A. Orchard, Tomas Petricek, and Alan Mycroft ([dblp](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html?view=bibtex)) ([pdf](https://arxiv.org/pdf/1401.5391.pdf)) -* **Inferring algebraic effects** (LMCS 2014) +* **Inferring Algebraic Effects** (LMCS 2014) by Matija Pretnar ([doi](http://dx.doi.org/10.2168/LMCS-10%283:21%292014)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html)) @@ -1256,7 +1262,7 @@ in various programming languages. ([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf)) * **Handlers in action** (ICFP 2013) - by Ohad Kammar, Sam Lindley and Nicolas Oury + by Ohad Kammar, Sam Lindley, and Nicolas Oury ([doi](https://doi.org/10.1145/2500365.2500590)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/KammarLO13.html?view=bibtex)) @@ -1264,22 +1270,22 @@ in various programming languages. ([GitHub](https://github.com/slindley/effect-handlers)) * **Extensible effects: an alternative to monad transformers** (Haskell 2013) - by Oleg Kiselyov, Amr Sabry and Cameron Swords + by Oleg Kiselyov, Amr Sabry, and Cameron Swords ([doi](https://doi.org/10.1145/2503778.2503791)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovSS13.html?view=bibtex)) ([pdf](https://www.cs.indiana.edu/~sabry/papers/exteff.pdf)) -* **JavaUI: Effects for UI Object Access** (ECOOP 2013) - by Colin S. Gordon, Werner Dietl, Michael D. Ernst and Dan Grossman - ([doi](http://dx.doi.org/10.1007/978-3-642-39038-8_8)) +* **Java UI : Effects for Controlling UI Object Access** (ECOOP 2013) + by Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman + ([doi](https://doi.org/10.1007/978-3-642-39038-8_8)) ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/GordonDEG13.html?view=bibtex)) ([pdf](https://www.cs.drexel.edu/~csgordon/papers/ecoop13.pdf)) -* **Handling algebraic effects** (LMCS 2013) - by Gordon Plotkin and Matija Pretnar - ([doi](http://dx.doi.org/10.2168/LMCS-9%284:23%292013)) +* **Handling Algebraic Effects** (LMCS 2013) + by Gordon D. Plotkin and Matija Pretnar + ([doi](https://doi.org/10.2168/LMCS-9%284:23%292013)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html?view=bibtex)) ([arxiv](http://arxiv.org/abs/1312.1399)) @@ -1291,7 +1297,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/AhmanS13.html?view=bibtex)) ([pdf](https://danel.ahman.ee/papers/mfps13.pdf)) -* **The Sequential Semantics of Producer Effect Systems** (POPL 2013) +* **The sequential semantics of producer effect systems** (POPL 2013) by Ross Tate ([doi](https://doi.org/10.1145/2429069.2429074)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Tate13.html)) @@ -1300,8 +1306,8 @@ in various programming languages. ### 2012 * **Lightweight Polymorphic Effects** (ECOOP 2012) - by Lukas Rytz, Martin Odersky and Philipp Haller - ([doi](http://dx.doi.org/10.1007/978-3-642-31057-7_13)) + by Lukas Rytz, Martin Odersky, and Philipp Haller + ([doi](https://doi.org/10.1007/978-3-642-31057-7_13)) ([dblp](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/ecoop/RytzOH12.html?view=bibtex)) @@ -1318,22 +1324,25 @@ in various programming languages. ### 2011 * **Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous** (ENTCS 2011) - by Sam Lindley, Philip Wadler and Jeremy Yallop + by Sam Lindley, Philip Wadler, and Jeremy Yallop + ([doi](https://doi.org/10.1016/j.entcs.2011.02.018)) ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/LindleyWY11.html?view=bibtex)) -* **Lightweight Monadic Programming in ML** (ICFP 2011) - by Nikhil Swamy, Nataliya Guts, Daan Leijen and Michael Hicks +* **Lightweight monadic programming in ML** (ICFP 2011) + by Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks + ([doi](https://doi.org/10.1145/2034773.2034778)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SwamyGLH11.html?view=bibtex)) ([pdf](http://www.cs.umd.edu/~mwh/papers/monadic.pdf)) * **Monads, zippers and views: virtualizing the monad stack** (ICFP 2011) - by Tom Schrijvers and Bruno C.d.S. Oliveira + by Tom Schrijvers and Bruno C.d.S. Oliveira + ([doi](https://doi.org/10.1145/2034773.2034781)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html?view=bibtex)) -* **Just Do It: Simple Monadic Equational Reasoning** (ICFP 2011) +* **Just do it: simple monadic equational reasoning** (ICFP 2011) by Jeremy Gibbons and Ralf Hinze ([doi](https://doi.org/10.1145/2034773.2034777)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/GibbonsH11.html)) @@ -1353,70 +1362,80 @@ in various programming languages. ### 2009 * **Handlers of Algebraic Effects** (ESOP 2009) - by Gordon Plotkin and Matija Pretnar + by Gordon D. Plotkin and Matija Pretnar + ([doi](https://doi.org/10.1007/978-3-642-00590-9_7)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/PlotkinP09.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Effect_Handlers.pdf)) -* **Parameterised Notions of Computation** (JFP 2009) +* **Parameterised notions of computation** (JFP 2009) by Robert Atkey + ([doi](https://doi.org/10.1017/S095679680900728X)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Atkey09.html?view=bibtex)) ([pdf](http://bentnib.org/paramnotions-jfp.pdf)) * **Algebras for Parameterised Monads** (CALCO 2009) by Robert Atkey + ([doi](https://doi.org/10.1007/978-3-642-03741-2_2)) ([dblp](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/calco/Atkey09.html?view=bibtex)) ([pdf](http://bentnib.org/algebras-param-monads.pdf)) ### 2008 -* **Lightweight Monadic Regions** (Haskell 2008) - by Oleg Kiselyov and Chung-chieh Shan +* **Lightweight monadic regions** (Haskell 2008) + by Oleg Kiselyov and Chung-chieh Shan + ([doi](https://doi.org/10.1145/1411286.1411288)) ([dblp](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/haskell/KiselyovS08.html?view=bibtex)) * **A Logic for Algebraic Effects** (LICS 2008) - by Gordon Plotkin and Matija Pretnar + by Gordon D. Plotkin and Matija Pretnar + ([doi](https://doi.org/10.1109/LICS.2008.45)) ([dblp](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/PlotkinP08.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf)) * **What is a Categorical Model of Arrows?** (MSFP 2008) by Robert Atkey + ([doi](https://doi.org/10.1016/j.entcs.2011.02.014)) ([dblp](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/entcs/Atkey11.html?view=bibtex)) ([pdf](http://bentnib.org/arrows.pdf)) -* **Data types a la carte** (JFP 2008) +* **Data types à la carte** (JFP 2008) by Wouter Swierstra + ([doi](https://doi.org/10.1017/S0956796808006758)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/Swierstra08.html?view=bibtex)) ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf)) -* **Types and trace effects of higher-order programs** (JFP 2008) - by Christian Skalka, Scott Smith, and David van Horn - ([doi](https://dl.acm.org/doi/10.1017/S0956796807006466)) +* **Types and trace effects of higher order programs** (JFP 2008) + by Christian Skalka, Scott F. Smith, and David Van Horn + ([doi](https://doi.org/10.1017/S0956796807006466)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/SkalkaSH08.html?view=bibtex)) ### 2007 * **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007) - by Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power + by Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power + ([doi](https://doi.org/10.1016/j.tcs.2006.12.026)) ([dblp](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/tcs/HylandLPP07.html?view=bibtex)) ### 2006 -* **Programming Monads Operationally with Unimo** (ICFP 2006) - by Chuan-kai Lin +* **Programming monads operationally with Unimo** (ICFP 2006) + by Chuan-Kai Lin + ([doi](https://doi.org/10.1145/1159803.1159840)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Lin06.html?view=bibtex)) -* **Monadic Regions** (JFP 2006) - by Matthew Fluet and J. Gregory Morrisett +* **Monadic regions** (JFP 2006) + by Matthew Fluet and J. Gregory Morrisett + ([doi](https://doi.org/10.1017/S095679680600596X)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/FluetM06.html?view=bibtex)) @@ -1424,61 +1443,71 @@ in various programming languages. * **A Monadic Multi-stage Metalanguage** (FOSSACS 2003) by Eugenio Moggi and Sonia Fagorzi + ([doi](https://doi.org/10.1007/3-540-36576-1_23)) ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/MoggiF03.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/fossacs03.pdf)) * **Algebraic Operations and Generic Effects** (Applied categorical structures, 2003) by Gordon D. Plotkin and John Power + ([doi](https://doi.org/10.1023/A:1023064908962)) ([dblp](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/acs/PlotkinP03.html?view=bibtex)) ([pdf](http://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf)) -* **The Marriage of Effects and Monads** (Trans. Comp. Logic, 2003) - by Philip Wadler and Peter Thiemann +* **The marriage of effects and monads** (Trans. Comp. Logic, 2003) + by Philip Wadler and Peter Thiemann + ([doi](https://doi.org/10.1145/601775.601776)) ([dblp](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/tocl/WadlerT03.html?view=bibtex)) ### 2002 -* **Composing Monads Using Coproducts** (ICFP 2002) - by Christoph Lüth and Neil Ghani +* **Composing monads using coproducts** (ICFP 2002) + by Christoph Lüth and Neil Ghani + ([doi](https://doi.org/10.1145/581478.581492)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/LuthG02.html?view=bibtex)) -* **Notions of computation determine monads** (FoSSaCS 2002) - by Gordon D. Plotkin and John Power +* **Notions of Computation Determine Monads** (FoSSaCS 2002) + by Gordon D. Plotkin and John Power + ([doi](https://doi.org/10.1007/3-540-45931-6_24)) ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP02.html?view=bibtex)) ### 2001 -* **Monadic Encapsulation of Effects: A Revised Approach (Extended Version)** (JFP 2001) - by Eugenio Moggi and Amr Sabry +* **Monadic encapsulation of effects: a revised approach (extended version)** (JFP 2001) + by Eugenio Moggi and Amr Sabry + ([doi](https://doi.org/10.1017/S0956796801004154)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/MoggiS01.html?view=bibtex)) -* **Adequacy for algebraic effects** (FoSSaCS 2001) - by Gordon D. Plotkin and John Power +* **Adequacy for Algebraic Effects** (FoSSaCS 2001) + by Gordon D. Plotkin and John Power + ([doi](https://doi.org/10.1007/3-540-45315-6_1)) ([dblp](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fossacs/PlotkinP01.html?view=bibtex)) ### 2000 -* **Deriving Backtracking Monad Transformers** (ICFP 2000) - by Ralf Hinze +* **Deriving backtracking monad transformers** (ICFP 2000) + by Ralf Hinze + ([doi](https://doi.org/10.1145/351240.351258)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Hinze00.html?view=bibtex)) * **Monads and Effects** (APPSEM 2000) - by Nick Benton, John Hughes and Eugenio Moggi + by Nick Benton, John Hughes, and Eugenio Moggi + ([doi](https://doi.org/10.1007/3-540-45699-6_2)) ([dblp](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/ac/BentonHM00.html?view=bibtex)) ### 1999 -* **Representing layered monads** (POPL 1999) +* **Representing Layered Monads** (POPL 1999) by Andrzej Filinski + ([doi](https://doi.org/10.1145/292540.292557)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski99.html?view=bibtex)) ([ps.gz](http://hjemmesider.diku.dk/~andrzej/papers/RLM.ps.gz)) @@ -1486,12 +1515,14 @@ in various programming languages. ### 1995 * **Monad Transformers and Modular Interpreters** (POPL 1995) - by Sheng Liang, Paul Hudak and Mark Jones + by Sheng Liang, Paul Hudak, and Mark P. Jones + ([doi](https://doi.org/10.1145/199448.199528)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LiangHJ95.html?view=bibtex)) -* **Monads for functional programming** (1995) - by Philip Wadler +* **Monads for Functional Programming** (1995) + by Philip Wadler + ([doi](https://doi.org/10.1007/3-540-59451-5_2)) ([dblp](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/afp/Wadler95.html?view=bibtex)) @@ -1499,6 +1530,7 @@ in various programming languages. * **Extensible Denotational Language Specifications** (TACS 1994) by Robert Cartwright and Matthias Felleisen + ([doi](https://doi.org/10.1007/3-540-57887-0_99)) ([dblp](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/tacs/CartwrightF94.html?view=bibtex)) ([ps.gz](http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tacs94-cf.ps.gz)) @@ -1507,25 +1539,28 @@ in various programming languages. by David Espinosa ([pdf](https://github.com/davidespinosa01/papers/blob/master/E/Espinosa%20David/espinosa-stratified-monads.pdf)) -* **Representing monads** (POPL 1994) - by Andrzej Filinski +* **Representing Monads** (POPL 1994) + by Andrzej Filinski + ([doi](https://doi.org/10.1145/174675.178047)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html?view=bibtex)) * **Building Interpreters by Composing Monads** (POPL 1994) - by Guy L. Steele, Jr. + by Guy L. Steele, Jr. + ([doi](https://doi.org/10.1145/174675.178068)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html?view=bibtex)) -* **Monads and composable continuations** (J. Lisp & Symb. Comp. 1994) - by Philip Wadler +* **Monads and Composable Continuations** (J. Lisp & Symb. Comp. 1994) + by Philip Wadler ([dblp](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/lisp/Wadler94.html?view=bibtex)) ### 1993 * **Imperative Functional Programming** (POPL 1993) - by Simon Peyton Jones and Philip Wadler + by Simon L. Peyton Jones and Philip Wadler + ([doi](https://doi.org/10.1145/158511.158524)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html?view=bibtex)) @@ -1539,12 +1574,14 @@ in various programming languages. ### 1992 * **Combining Monads** (Functional Programming, 1992) - by David J. King and Philip Wadler + by David J. King and Philip Wadler + ([doi](https://doi.org/10.1007/978-1-4471-3215-8_12)) ([dblp](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/fp/KingW92.html?view=bibtex)) -* **The essence of functional programming** (POPL 1992) - by Philip Wadler +* **The Essence of Functional Programming** (POPL 1992) + by Philip Wadler + ([doi](https://doi.org/10.1145/143165.143169)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Wadler92.html?view=bibtex)) @@ -1552,6 +1589,7 @@ in various programming languages. * **Notions of computation and monads** (Information and Computation, 93(1), 1991) by Eugenio Moggi + ([doi](https://doi.org/10.1016/0890-5401%2891%2990052-4)) ([dblp](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf)) @@ -1559,12 +1597,14 @@ in various programming languages. ### 1990 * **Comprehending Monads** (Lisp and Functional Programming, 1990) - by Philip Wadler + by Philip Wadler + ([doi](https://doi.org/10.1145/91556.91592)) ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/Wadler90.html?view=bibtex)) * **Abstracting Control** (LFP 1990) - by Olivier Danvy and Andrzej Filinski + by Olivier Danvy and Andrzej Filinski + ([doi](https://doi.org/10.1145/91556.91622)) ([dblp](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/lfp/DanvyF90.html?view=bibtex)) @@ -1572,6 +1612,7 @@ in various programming languages. * **Computational lambda-calculus and monads** (LICS 1989) by Eugenio Moggi + ([doi](https://doi.org/10.1109/LICS.1989.39155)) ([dblp](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf)) @@ -1581,14 +1622,15 @@ in various programming languages. ### 1988 -* **Polymorphic effect systems** (POPL 1988) - by John M. Lucassen and David K. Gifford +* **Polymorphic Effect Systems** (POPL 1988) + by John M. Lucassen and David K. Gifford + ([doi](https://doi.org/10.1145/73560.73564)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LucassenG88.html?view=bibtex)) * **The FX-87 Interpreter** (ICCL 1988) by Pierre Jouvelot and David K. Gifford - ([doi](https://doi.org/10.1109%2FICCL.1988.13044)) + ([doi](https://doi.org/10.1109/ICCL.1988.13044)) ([dblp](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/iccl/JouvelotG88.html?view=bibtex)) @@ -1650,7 +1692,7 @@ in various programming languages. by Leo Poulson ([pdf](https://raw.githubusercontent.com/leopoulson/thesis/master/thesis.pdf)) -* **Relational Reasoning for Effects and Handlers** (PhD Dissertation, The University of Edinburgh) +* **Relational reasoning for effects and handlers** (PhD Dissertation, The University of Edinburgh) by Craig McLaughlin ([doi](http://dx.doi.org/10.7488/era/537)) ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/McLaughlin20.html)) @@ -1676,7 +1718,7 @@ in various programming languages. by Cristina Matache ([pdf](https://homepages.inf.ed.ac.uk/cmatache/documents/m_diss.pdf)) -* **Defined Algebraic Operations** (PhD Dissertation, University of Birmingham) +* **Defined algebraic operations** (PhD Dissertation, University of Birmingham) by Bram Geron ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html)) ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Geron20.html?view=bibtex)) @@ -1690,7 +1732,7 @@ in various programming languages. ### 2017 -* **Distributive Interaction of Algebraic Effects** (PhD Dissertation, University of Oxford) +* **Distributive interaction of algebraic effects** (PhD Dissertation, University of Oxford) by Kwok-Ho Cheung ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html)) ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Cheung17.html?view=bibtex)) @@ -1700,7 +1742,7 @@ in various programming languages. by Lukas Convent ([pdf](http://lukas.convnet.de/proj/master/thesis.pdf)) -* **Fibred Computational Effects** (PhD Dissertation, The University of Edinburgh) +* **Fibred computational effects** (PhD Dissertation, The University of Edinburgh) by Danel Ahman ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html)) ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Ahman17.html?view=bibtex)) @@ -1724,7 +1766,7 @@ in various programming languages. ### 2010 -* **The Logic and Handling of Algebraic Effects** (PhD Dissertation, The University of Edinburgh) +* **Logic and handling of algebraic effects** (PhD Dissertation, The University of Edinburgh) by Matija Pretnar ([dblp](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html)) ([bibtex](https://dblp.uni-trier.de/rec/phd/ethos/Pretnar10.html?view=bibtex)) From 6af407a24f3ef767a77f01e1492b7cab1544258b Mon Sep 17 00:00:00 2001 From: Matija Pretnar Date: Wed, 7 Aug 2024 08:24:49 +0200 Subject: [PATCH 4/5] Update arXiv links --- README.md | 69 +++++++++++++++++++++++++++++++++++++------------------ 1 file changed, 47 insertions(+), 22 deletions(-) diff --git a/README.md b/README.md index bf523d8..d937144 100644 --- a/README.md +++ b/README.md @@ -186,9 +186,10 @@ in various programming languages. * **What is algebraic about algebraic effects and handlers?** (tutorial given at [Dagstuhl](https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18172) and [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php)) by Andrej Bauer - ([doi](http://arxiv.org/abs/1807.05923)) + ([doi](https://doi.org/10.48550/arXiv.1807.05923)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1807-05923.html?view=bibtex)) + ([arxiv](https://arxiv.org/abs/1807.05923)) ([pdf](https://arxiv.org/pdf/1807.05923)) (Videos: [1.1](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-1.mp4), [1.2](https://www.cs.uoregon.edu/research/summerschool/summer18/lectures/bauer1-2.mp4), @@ -244,7 +245,8 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/LagoG24.html?view=bibtex)) ([pdf](https://dl.acm.org/doi/pdf/10.1145/3632929)) - ([pdf (extended version)](https://arxiv.org/abs/2308.16542)) + ([arxiv (extended version)](https://arxiv.org/abs/2308.16542)) + ([pdf (extended version)](https://arxiv.org/pdf/2308.16542)) * **Effectful Software Contracts** (POPL 2024) by Cameron Moy, Christos Dimoulas, and Matthias Felleisen @@ -274,7 +276,8 @@ in various programming languages. ([doi](https://doi.org/10.1145/3622814)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html?view=bibtex)) - ([arxiv](https://doi.org/10.48550/arXiv.2308.08347)) + ([arxiv](https://arxiv.org/abs/2308.08347)) + ([pdf](https://arxiv.org/pdf/2308.08347)) * **Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators** (PPDP 2023) by Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara @@ -380,7 +383,8 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/YangPWBS22.html?view=bibtex)) ([pdf](https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf)) - ([pdf (extended version)](https://arxiv.org/pdf/2201.10287.pdf)) + ([arxiv (extended version)](https://arxiv.org/abs/2201.10287)) + ([pdf (extended version)](https://arxiv.org/pdf/2201.10287)) * **Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back** (OOPSLA 2022) by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki @@ -403,8 +407,8 @@ in various programming languages. ([doi](https://doi.org/10.1007/978-3-030-89051-3_11)) ([dblp](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/aplas/BergSPW21.html?view=bibtex)) - ([arxiv](https://arxiv.org/abs/2108.11155)) - ([pdf (extended version)](https://arxiv.org/pdf/2108.11155.pdf)) + ([arxiv (extended version)](https://arxiv.org/abs/2108.11155)) + ([pdf (extended version)](https://arxiv.org/pdf/2108.11155)) * **Composing UNIX with Effect Handlers** (ML Workshop 2021) by Daniel Hillerström @@ -479,7 +483,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2104.00250)) - ([pdf](https://arxiv.org/pdf/2104.00250.pdf)) + ([pdf](https://arxiv.org/pdf/2104.00250)) * **Polymorphic Iterable Sequential Effect Systems** (TOPLAS 2021) by Colin S. Gordon @@ -487,12 +491,14 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/toplas/Gordon21.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1808.02010)) + ([pdf](https://arxiv.org/pdf/1808.02010)) * **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021) by Jesse Sigal ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2101-08095.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2101.08095)) + ([pdf](https://arxiv.org/pdf/2101.08095)) * **Staged Effects and Handlers for Modular Languages with Abstraction** (PEPM 2021) by Casper Bach Poulsen, Cas van der Rest, and Tom Schrijvers @@ -511,7 +517,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/AhmanP21.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2003.02110)) - ([pdf](https://arxiv.org/pdf/2003.02110.pdf)) + ([pdf](https://arxiv.org/pdf/2003.02110)) ### 2020 @@ -637,6 +643,7 @@ in various programming languages. ([doi](https://doi.org/10.1145/3408999)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/SekiyamaTI20.html?view=bibtex)) + ([arxiv](https://arxiv.org/abs/2003.08138)) ([pdf](https://arxiv.org/pdf/2003.08138)) * **Effects for efficiency: asymptotic speedup with first-class control** (ICFP 2020) @@ -645,6 +652,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/HillerstromLL20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2007.00605)) + ([pdf](https://arxiv.org/pdf/2007.00605)) * **Effect handlers, evidently** (ICFP 2020) by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen @@ -686,7 +694,8 @@ in various programming languages. ([doi](https://doi.org/10.1007/978-3-030-44914-8_2)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/AhmanB20.html?view=bibtex)) - ([arxiv](https://arxiv.org/pdf/1910.11629.pdf)) + ([arxiv](https://arxiv.org/abs/1910.11629)) + ([pdf](https://arxiv.org/pdf/1910.11629)) * **Interaction trees: representing recursive and impure programs in Coq** (POPL 2020) by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic @@ -707,21 +716,24 @@ in various programming languages. ([doi](https://doi.org/10.4204/EPTCS.317.3)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00197.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2005.00197v1.pdf)) + ([arxiv](https://arxiv.org/abs/2005.00197)) + ([pdf](https://arxiv.org/pdf/2005.00197)) * **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020) by Niels F. W. Voorneveld ([doi](https://doi.org/10.4204/EPTCS.317.1)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2005-00196.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2005.00196.pdf)) + ([arxiv](https://arxiv.org/abs/2005.00196)) + ([pdf](https://arxiv.org/pdf/2005.00196)) * **Unifying graded and parameterised monads** (MSFP 2020) by Dominic Orchard, Philip Wadler, and Harley Eades III ([doi](https://doi.org/10.4204/EPTCS.317.2)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-2001-10274.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/2001.10274.pdf)) + ([arxiv](https://arxiv.org/abs/2001.10274)) + ([pdf](https://arxiv.org/pdf/2001.10274)) * **Local algebraic effect theories** (JFP 2020) by Žiga Lukšič and Matija Pretnar @@ -729,6 +741,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/LuksicP20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2005.13654)) + ([pdf](https://arxiv.org/pdf/2005.13654)) * **Explicit effect subtyping** (JFP 2020) by Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers @@ -736,6 +749,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KarachaliasPSVS20.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/2005.13814)) + ([pdf](https://arxiv.org/pdf/2005.13814)) * **The fire triangle: how to mix substitution, dependent elimination, and effects** (POPL 2020) by Pierre-Marie Pédrot and Nicolas Tabareau @@ -765,7 +779,8 @@ in various programming languages. ([doi](https://doi.org/10.1145/3341708)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/MaillardAAMHRT19.html?view=bibtex)) - ([pdf](https://arxiv.org/abs/1903.01237)) + ([arxiv](https://arxiv.org/abs/1903.01237)) + ([pdf](https://arxiv.org/pdf/1903.01237)) * **A predicate transformer semantics for effects (functional pearl)** (ICFP 2019) by Wouter Swierstra and Anne Baanen @@ -815,7 +830,8 @@ in various programming languages. ([doi](https://doi.org/10.1007/978-3-030-17184-1_13)) ([dblp](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/esop/SekiyamaI19.html?view=bibtex)) - ([arxiv](https://arxiv.org/pdf/1811.07332)) + ([arxiv](https://arxiv.org/abs/1811.07332)) + ([pdf](https://arxiv.org/pdf/1811.07332)) * **Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order** (ESOP 2019) by Dylan McDermott and Alan Mycroft @@ -866,6 +882,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1810-09538.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1810.09538)) + ([pdf](https://arxiv.org/pdf/1810.09538)) * **Automatic Reparameterisation in Probabilistic Programming** (AABI 2018) by Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman @@ -876,6 +893,7 @@ in various programming languages. ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1811-06150.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1811.06150)) + ([pdf](https://arxiv.org/pdf/1811.06150)) * **Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics** (MFPS 2018) by Ohad Kammar and Dylan McDermott @@ -1035,7 +1053,8 @@ in various programming languages. ([doi](https://doi.org/10.1145/3110257)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/0002KLP17.html?view=bibtex)) - ([arxiv](https://arxiv.org/pdf/1610.09161)) + ([arxiv](https://arxiv.org/abs/1610.09161)) + ([pdf](https://arxiv.org/pdf/1610.09161)) * **A Generic Approach to Flow-Sensitive Polymorphic Effects** (ECOOP 2017) by Colin S. Gordon @@ -1049,7 +1068,8 @@ in various programming languages. ([doi](https://doi.org/10.1145/3009837.3009897)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/LindleyMM17.html?view=bibtex)) - ([arxiv](https://arxiv.org/pdf/1611.09259)) + ([arxiv](https://arxiv.org/abs/1611.09259)) + ([pdf](https://arxiv.org/pdf/1611.09259)) * **Type directed compilation of row-typed algebraic effects** (POPL 2017) by Daan Leijen @@ -1062,7 +1082,8 @@ in various programming languages. ([doi](https://doi.org/10.1017/S0956796816000320)) ([dblp](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jfp/KammarP17.html?view=bibtex)) - ([arxiv](https://arxiv.org/pdf/1605.06938)) + ([arxiv](https://arxiv.org/abs/1605.06938)) + ([pdf](https://arxiv.org/pdf/1605.06938)) ### 2016 @@ -1165,7 +1186,7 @@ in various programming languages. ([doi](https://doi.org/10.1016/j.jlamp.2014.02.001)) ([dblp](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/jlp/BauerP15.html?view=bibtex)) - ([arxiv](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf)) + ([pdf](http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf)) * **Fusion for Free - Efficient Algebraic Effect Handlers** (MPC 2015) by Nicolas Wu and Tom Schrijvers @@ -1224,21 +1245,24 @@ in various programming languages. by Dominic A. Orchard, Tomas Petricek, and Alan Mycroft ([dblp](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/OrchardPM14.html?view=bibtex)) - ([pdf](https://arxiv.org/pdf/1401.5391.pdf)) + ([arxiv](https://arxiv.org/abs/1401.5391)) + ([pdf](https://arxiv.org/pdf/1401.5391)) * **Inferring Algebraic Effects** (LMCS 2014) by Matija Pretnar ([doi](http://dx.doi.org/10.2168/LMCS-10%283:21%292014)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html?view=bibtex)) - ([arxiv](http://arxiv.org/pdf/1312.2334.pdf)) + ([arxiv](https://arxiv.org/abs/1312.2334)) + ([pdf](https://arxiv.org/pdf/1312.2334)) * **An Effect System for Algebraic Effects and Handlers** (LMCS 2014) by Andrej Bauer and Matija Pretnar ([doi](http://dx.doi.org/10.2168/LMCS-10%284:9%292014)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html?view=bibtex)) - ([arxiv](http://arxiv.org/pdf/1306.6316.pdf)) + ([arxiv](https://arxiv.org/abs/1306.6316)) + ([pdf](https://arxiv.org/pdf/1306.6316)) * **Parametric Effect Monads and Semantics of Effect Systems** (POPL 2014) by Shin-ya Katsumata @@ -1288,7 +1312,8 @@ in various programming languages. ([doi](https://doi.org/10.2168/LMCS-9%284:23%292013)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html?view=bibtex)) - ([arxiv](http://arxiv.org/abs/1312.1399)) + ([arxiv](https://arxiv.org/abs/1312.1399)) + ([pdf](https://arxiv.org/pdf/1312.1399)) * **Normalization by Evaluation and Algebraic Effects** (MFPS 2013) by Danel Ahman and Sam Staton From 22446eeeaa95e04d38c6ab0669a84f7fa393e620 Mon Sep 17 00:00:00 2001 From: Matija Pretnar Date: Wed, 7 Aug 2024 08:40:18 +0200 Subject: [PATCH 5/5] Minor forgotten fixes --- README.md | 39 ++++++++++++++++++++------------------- 1 file changed, 20 insertions(+), 19 deletions(-) diff --git a/README.md b/README.md index d937144..e9ebf1d 100644 --- a/README.md +++ b/README.md @@ -272,7 +272,7 @@ in various programming languages. ([pdf](https://dl.acm.org/doi/pdf/10.1145/3622831)) * **Continuing WebAssembly with Effect Handlers** (OOPSLA 2023) - by Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley + by Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, and Sam Lindley ([doi](https://doi.org/10.1145/3622814)) ([dblp](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/pacmpl/PhippsCostinRGLHSPL23.html?view=bibtex)) @@ -478,7 +478,7 @@ in various programming languages. ([pdf](https://homepages.inf.ed.ac.uk/slindley/papers/handler-calculus-draft-may2021.pdf)) * **Retrofitting effect handlers onto OCaml** (PLDI 2021) - by KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy + by K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy ([doi](https://doi.org/10.1145/3453483.3454039)) ([dblp](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/pldi/Sivaramakrishnan21.html?view=bibtex)) @@ -813,7 +813,7 @@ in various programming languages. * **Bisimulations for Delimited-Control Operators** (LMCS 2019) by Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk - ([doi](https://doi.org/10.23638/LMCS-15%282:18%292019)) + ([doi](https://doi.org/10.23638/LMCS-15(2:18)2019)) ([dblp](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/lmcs/BiernackiLP19a.html?view=bibtex)) ([pdf](https://lmcs.episciences.org/5508/pdf)) @@ -1001,7 +1001,7 @@ in various programming languages. ([pdf](https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf)) * **Concurrent System Programming with Effect Handlers** (TFP 2017) - by Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White + by Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, and Leo White ([doi](https://doi.org/10.1007/978-3-319-89719-6_6)) ([dblp](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/sfp/DolanEHMSW17.html?view=bibtex)) @@ -1042,7 +1042,7 @@ in various programming languages. ([GitHub](https://github.com/koka-lang/libhandler)) * **Continuation Passing Style for Effect Handlers** (FSCD 2017) - by Daniel Hillerström, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan + by Daniel Hillerström, Sam Lindley, Robert Atkey, and K. C. Sivaramakrishnan ([doi](https://doi.org/10.4230/LIPIcs.FSCD.2017.18)) ([dblp](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/rta/HillerstromLAS17.html?view=bibtex)) @@ -1116,7 +1116,7 @@ in various programming languages. ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/iclp2016a.pdf)) * **Eff Directly in OCaml** (ML Workshop 2016) - by Oleg Kiselyov and KC Sivaramakrishnan + by Oleg Kiselyov and K. C. Sivaramakrishnan ([doi](https://doi.org/10.4204/EPTCS.285.2)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/abs-1812-11664.html?view=bibtex)) @@ -1169,7 +1169,7 @@ in various programming languages. ([pdf](https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ifl2015_post.pdf)) * **Customizable gradual polymorphic effects for Scala** (OOPSLA 2015) - by Matias Toro and Eric Tanter + by Matías Toro and Éric Tanter ([doi](https://doi.org/10.1145/2814270.2814315)) ([dblp](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/oopsla/ToroT15.html?view=bibtex)) @@ -1250,7 +1250,7 @@ in various programming languages. * **Inferring Algebraic Effects** (LMCS 2014) by Matija Pretnar - ([doi](http://dx.doi.org/10.2168/LMCS-10%283:21%292014)) + ([doi](https://doi.org/10.2168/LMCS-10(3:21)2014)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/Pretnar13.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1312.2334)) @@ -1258,13 +1258,13 @@ in various programming languages. * **An Effect System for Algebraic Effects and Handlers** (LMCS 2014) by Andrej Bauer and Matija Pretnar - ([doi](http://dx.doi.org/10.2168/LMCS-10%284:9%292014)) + ([doi](https://doi.org/10.2168/LMCS-10(4:9)2014)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/BauerP13.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1306.6316)) ([pdf](https://arxiv.org/pdf/1306.6316)) -* **Parametric Effect Monads and Semantics of Effect Systems** (POPL 2014) +* **Parametric effect monads and semantics of effect systems** (POPL 2014) by Shin-ya Katsumata ([doi](https://doi.org/10.1145/2535838.2535846)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Katsumata14.html)) @@ -1273,14 +1273,15 @@ in various programming languages. ### 2013 * **Programming and reasoning with algebraic effects and dependent types** (ICFP 2013) - by Edwin Brady + by Edwin C. Brady ([doi](https://doi.org/10.1145/2500365.2500581)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/Brady13.html?view=bibtex)) ([pdf](https://www.type-driven.org.uk/edwinb/papers/effects.pdf)) * **The constrained-monad problem** (ICFP 2013) - by Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill + by Neil Sculthorpe, Jan Bracker, George Giorgidze, and Andy Gill + ([doi](https://doi.org/10.1145/2500365.2500602)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SculthorpeBGG13.html?view=bibtex)) ([pdf](http://neilsculthorpe.com/publications/constrained-monad-problem.pdf)) @@ -1309,7 +1310,7 @@ in various programming languages. * **Handling Algebraic Effects** (LMCS 2013) by Gordon D. Plotkin and Matija Pretnar - ([doi](https://doi.org/10.2168/LMCS-9%284:23%292013)) + ([doi](https://doi.org/10.2168/LMCS-9(4:23)2013)) ([dblp](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/corr/PlotkinP13.html?view=bibtex)) ([arxiv](https://arxiv.org/abs/1312.1399)) @@ -1362,7 +1363,7 @@ in various programming languages. ([pdf](http://www.cs.umd.edu/~mwh/papers/monadic.pdf)) * **Monads, zippers and views: virtualizing the monad stack** (ICFP 2011) - by Tom Schrijvers and Bruno C.d.S. Oliveira + by Tom Schrijvers and Bruno C. d. S. Oliveira ([doi](https://doi.org/10.1145/2034773.2034781)) ([dblp](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/icfp/SchrijversO11.html?view=bibtex)) @@ -1571,7 +1572,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Filinski94.html?view=bibtex)) * **Building Interpreters by Composing Monads** (POPL 1994) - by Guy L. Steele, Jr. + by Guy L. Steele Jr. ([doi](https://doi.org/10.1145/174675.178068)) ([dblp](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html)) ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/Steele94.html?view=bibtex)) @@ -1590,7 +1591,7 @@ in various programming languages. ([bibtex](https://dblp.uni-trier.de/rec/conf/popl/JonesW93.html?view=bibtex)) * **How to Compose Monads** (Thinking Machines Corporation tech. report, 1993) - by Guy L. Steele, Jr. + by Guy L. Steele Jr. * **Modular denotational semantics** (Unpublished, 1993) by David Espinosa @@ -1612,9 +1613,9 @@ in various programming languages. ### 1991 -* **Notions of computation and monads** (Information and Computation, 93(1), 1991) +* **Notions of Computation and Monads** (Information and Computation, 93(1), 1991) by Eugenio Moggi - ([doi](https://doi.org/10.1016/0890-5401%2891%2990052-4)) + ([doi](https://doi.org/10.1016/0890-5401(91)90052-4)) ([dblp](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html)) ([bibtex](https://dblp.uni-trier.de/rec/journals/iandc/Moggi91.html?view=bibtex)) ([pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf)) @@ -1635,7 +1636,7 @@ in various programming languages. ### 1989 -* **Computational lambda-calculus and monads** (LICS 1989) +* **Computational Lambda-Calculus and Monads** (LICS 1989) by Eugenio Moggi ([doi](https://doi.org/10.1109/LICS.1989.39155)) ([dblp](https://dblp.uni-trier.de/rec/conf/lics/Moggi89.html))