bib.bib

@article{strachey2000fundamental,
    title = {Fundamental concepts in programming languages},
    author = {Strachey, Christopher},
    journal = {Higher-order and symbolic computation},
    volume = {13},
    pages = {11--49},
    year = {2000},
    publisher = {Springer},
    url = {https://facweb.cdm.depaul.edu/smitsch/courses/csc447fa23/assets/articles/strachey-fundamental-concepts-in-programming-languages.pdf},
}

@article{cardelli1985understanding,
    title = {On understanding types, data abstraction, and polymorphism},
    author = {Cardelli, Luca and Wegner, Peter},
    journal = {ACM Computing Surveys (CSUR)},
    volume = {17},
    number = {4},
    pages = {471--523},
    year = {1985},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/6041.6042},
}

@book{abelson1996structure,
    title = {Structure and interpretation of computer programs},
    author = {Abelson, Harold and Sussman, Gerald Jay},
    year = {1996},
    publisher = {The MIT Press}
}

@book{simon1987implementation,
    author = {Peyton-Jones, Simon},
    title = {The Implementation of Functional Programming Languages},
    date = {1987},
    url = {https://simon.peytonjones.org/assets/pdfs/slpj-book-1987-searchable.pdf},
}

@article{reynolds1993discoveries,
    title = {The discoveries of continuations},
    author = {Reynolds, John C},
    journal = {Lisp and symbolic computation},
    volume = {6},
    pages = {233--247},
    year = {1993},
    publisher = {Springer},
    url = {https://ics.uci.edu/~jajones/INF102-S18/readings/08_histcont.pdf},
}

@inproceedings{landin1997histories,
    title = {Histories of discoveries of continuations: Belles-lettres with equivocal tenses},
    author = {Landin, Peter J},
    booktitle = {Proceedings of the Second ACM SIGPLAN Workshop on Continuations (CW’97), Technical report BRICS NS-96-13, University of Aarhus},
    pages = {1},
    year = {1997},
    organization = {Citeseer},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=14c609276166517ed1afb56e6b84a41ba157030b},
}

@inproceedings{marlow2006extensible,
    title = {An extensible dynamically-typed hierarchy of exceptions},
    author = {Marlow, Simon},
    booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell},
    pages = {96--106},
    year = {2006},
    url = {https://archive.alvb.in/msc/03_infoafp/papers/2012-12-18_HoorCollege_MarlowExtensibleExceptions_dk.pdf},
}

@inproceedings{marlow2001asynchronous,
    title = {Asynchronous exceptions in Haskell},
    author = {Marlow, Simon and Jones, Simon Peyton and Moran, Andrew and Reppy, John},
    booktitle = {Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation},
    pages = {274--285},
    year = {2001},
    url = {https://classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p274-marlow.pdf},
}

@article{jones2001tackling,
    title = {Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell},
    author = {Jones, Simon Peyton},
    journal = {NATO SCIENCE SERIES SUB SERIES III COMPUTER AND SYSTEMS SCIENCES},
    volume = {180},
    pages = {47--96},
    year = {2001},
    publisher = {Citeseer},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=2e6c9d76f9cb690dc18019fc894ba9572a8c2812},
}

@article{curien2000duality,
    title = {The duality of computation},
    author = {Curien, Pierre-Louis and Herbelin, Hugo},
    journal = {ACM sigplan notices},
    volume = {35},
    number = {9},
    pages = {233--243},
    year = {2000},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/357766.351262},
}

@article{pierce2000local,
    title = {Local type inference},
    author = {Pierce, Benjamin C and Turner, David N},
    journal = {Acm transactions on programming languages and systems (toplas)},
    volume = {22},
    number = {1},
    pages = {1--44},
    year = {2000},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/345099.345100},
}

@article{dyvbig2007monadic,
    title = {A monadic framework for delimited continuations},
    author = {Dyvbig, R Kent and Jones, Simon Peyton and Sabry, Amr},
    journal = {Journal of functional programming},
    volume = {17},
    number = {6},
    pages = {687--730},
    year = {2007},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017/S0956796807006259},
}

@article{bentley1986little,
    title = {Little languages},
    author = {Bentley, Jon Louis},
    journal = {Commun. ACM},
    volume = {29},
    number = {8},
    pages = {711--721},
    year = {1986},
    url = {https://doi.org/10.1145/6424.315691},
}

@book{nystrom2021crafting,
    author = {Nystrom, Robert},
    title = {Crafting Interpreters},
    date = {2021},
    url = {https://craftinginterpreters.com/contents.html},
}

@inproceedings{hudak2007history,
    title = {A history of Haskell: being lazy with class},
    author = {Hudak, Paul and Hughes, John and Peyton Jones, Simon and Wadler, Philip},
    booktitle = {Proceedings of the third ACM SIGPLAN conference on History of programming languages},
    pages = {12--1},
    year = {2007},
    url = {https://www.researchgate.net/profile/Simon-Peyton-Jones/publication/221501761_A_history_of_Haskell_Being_lazy_with_class/links/0c960517e31f50f743000000/A-history-of-Haskell-Being-lazy-with-class.pdf},
}

@book{bragilevsky-haskell,
    author = {Bragilevsky, Vitaly},
    title = {Haskell in Depth},
    date = {2021},
    publisher = {Manning},
    url = {https://www.manning.com/books/haskell-in-depth},
}

@book{mcbride-not-answer,
    author = {McBride, Conor},
    title = {Perhaps Not The Answer You Were Expecting But You Asked For It},
    date = {2019},
    url = {https://personal.cis.strath.ac.uk/conor.mcbride/so-pigworker.pdf},
}

@book{maguire-types,
    author = {Maguire, Sandy},
    title = {Thinking with Types, Type-Level Programming in Haskell},
    date = {2019},
    url = {https://leanpub.com/thinking-with-types/?},
}

@incollection{marlow2011parallel,
    title = {Parallel and concurrent programming in Haskell},
    author = {Marlow, Simon},
    booktitle = {Central European Functional Programming School},
    pages = {339--401},
    year = {2011},
    publisher = {Springer},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=bd127ea1952996864c1542e1453973a78973ad5c},
}

@inproceedings{wadler1989make,
    title = {How to make ad-hoc polymorphism less ad hoc},
    author = {Wadler, Philip and Blott, Stephen},
    booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {60--76},
    year = {1989},
    url = {https://doi.org/10.1145/75277.75283},
}

@inproceedings{orchard2010haskell,
    title = {Haskell type constraints unleashed},
    author = {Orchard, Dominic and Schrijvers, Tom},
    booktitle = {International Symposium on Functional and Logic Programming},
    pages = {56--71},
    year = {2010},
    organization = {Springer},
    url = {https://kar.kent.ac.uk/57498/1/constraint-families.pdf},
}

@inproceedings{kiselyov2004functional,
    title = {Functional pearl: implicit configurations--or, type classes reflect the values of types},
    author = {Kiselyov, Oleg and Shan, Chung-chieh},
    booktitle = {Proceedings of the 2004 ACM SIGPLAN workshop on Haskell},
    pages = {33--44},
    year = {2004},
    url = {https://d1wqtxts1xzle7.cloudfront.net/43582096/Functional_pearl_implicit_configurations20160310-32037-1bu6179-libre.pdf},
}

@misc{spj-type-inference,
    title = {Type inference as constraint solving: how GHC’s type inference engine actually works},
    author = {Peyton Jones, Simon},
    year = {2019},
    url = {https://www.microsoft.com/en-us/research/publication/type-inference-as-constraint-solving-how-ghcs-type-inference-engine-actually-works/},
}

@article{mcbride2002faking,
    title = {Faking it simulating dependent types in haskell},
    author = {McBride, Conor},
    journal = {Journal of functional programming},
    volume = {12},
    number = {4-5},
    pages = {375--392},
    year = {2002},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017/S0956796802004355},
}

@article{hall1996type,
    title = {Type classes in Haskell},
    author = {Hall, Cordelia V and Hammond, Kevin and Peyton Jones, Simon L and Wadler, Philip L},
    journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
    volume = {18},
    number = {2},
    pages = {109--138},
    year = {1996},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/227699.227700},
}

@inproceedings{epstein2011towards,
    title = {Towards Haskell in the cloud},
    author = {Epstein, Jeff and Black, Andrew P and Peyton-Jones, Simon},
    booktitle = {Proceedings of the 4th ACM symposium on Haskell},
    pages = {118--129},
    year = {2011},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf?from=https://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf&type=exact},
}

@article{kiselyov2010fun,
    title = {Fun with type functions},
    author = {Kiselyov, Oleg and Jones, Simon Peyton and Shan, Chung-chieh},
    journal = {Reflections on the Work of CAR Hoare},
    pages = {301--331},
    year = {2010},
    publisher = {Springer},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf?from=https://research.microsoft.com/~simonpj/papers/assoc-types/fun-with-type-funs/typefun.pdf&type=exact},
}

@article{pierce2010software,
    title = {Software foundations},
    author = {Pierce, Benjamin C and Casinghino, Chris and Gaboardi, Marco and Greenberg, Michael and Hri{\c{t}}cu, C{\u{a}}t{\u{a}}lin and Sj{\"o}berg, Vilhelm and Yorgey, Brent},
    journal = {Webpage: http://www. cis. upenn. edu/bcpierce/sf/current/index. html},
    volume = {16},
    year = {2010},
    url = {https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf},
}

@inproceedings{yorgey2012giving,
    title = {Giving Haskell a promotion},
    author = {Yorgey, Brent A and Weirich, Stephanie and Cretin, Julien and Peyton Jones, Simon and Vytiniotis, Dimitrios and Magalh{\~a}es, Jos{\'e} Pedro},
    booktitle = {Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation},
    pages = {53--66},
    year = {2012},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf},
}

@inproceedings{de2014true,
    title = {True sums of products},
    author = {de Vries, Edsko and L{\"o}h, Andres},
    booktitle = {Proceedings of the 10th ACM SIGPLAN workshop on Generic programming},
    pages = {83--94},
    year = {2014},
    url = {https://doi.org/10.1145/2633628.2633634},
}

@article{DANVY2009534,
    title = {Refunctionalization at work},
    journal = {Science of Computer Programming},
    volume = {74},
    number = {8},
    pages = {534-549},
    year = {2009},
    note = {Special Issue on Mathematics of Program Construction (MPC 2006)},
    issn = {0167-6423},
    doi = {https://doi.org/10.1016/j.scico.2007.10.007},
    url = {https://www.sciencedirect.com/science/article/pii/S0167642309000227},
    author = {Olivier Danvy and Kevin Millikin},
}

@article{weirich2013system,
    title = {System FC with explicit kind equality},
    author = {Weirich, Stephanie and Hsu, Justin and Eisenberg, Richard A},
    journal = {ACM SIGPLAN Notices},
    volume = {48},
    number = {9},
    pages = {275--286},
    year = {2013},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/2544174.2500599},
}

@incollection{peyton2016reflection,
    title = {A reflection on types},
    author = {Peyton Jones, Simon and Weirich, Stephanie and Eisenberg, Richard A and Vytiniotis, Dimitrios},
    booktitle = {A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday},
    pages = {292--317},
    year = {2016},
    publisher = {Springer},
    url = {https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1002&context=compsci_pubs},
}

@article{bottu2017quantified,
    title = {Quantified class constraints},
    author = {Bottu, Gert-Jan and Karachalias, Georgios and Schrijvers, Tom and Oliveira, Bruno C d S and Wadler, Philip},
    journal = {ACM SIGPLAN Notices},
    volume = {52},
    number = {10},
    pages = {148--161},
    year = {2017},
    publisher = {ACM New York, NY, USA},
    url = {https://www.pure.ed.ac.uk/ws/portalfiles/portal/42495988/quantcc.pdf},
}

@book{maguire-algebra,
    author = {Maguire, Sandy},
    title = {Algebra-Driven Design, Elegant Solutions from Simple Building Blocks},
    date = {2023},
    url = {https://leanpub.com/algebra-driven-design/},
}

@unpublished{languageEngineering,
    author = {Hutchinson, Dom},
    title = {Language Engineering - Notes},
    note = {Course COMS22201 notes},
    url = {https://github.com/dajhutchinson/Language-Engineering},
}

@manual{defunctionalization-slides,
    title = {Defunctionalization},
    author = {Xia, Li-yao},
    date = {2020},
    url = {https://poisson.chat/aquarium/defunctionalization.pdf},
}

@manual{closures-slides,
    title = {CS153: Compilers Lecture 12:Closures and Environments},
    author = {Chong, Stephen},
    url = {https://groups.seas.harvard.edu/courses/cs153/2018fa/lectures/Lec12-Functions.pdf},
}

@inproceedings{reynolds1972definitional,
    title = {Definitional interpreters for higher-order programming languages},
    author = {Reynolds, John C},
    booktitle = {Proceedings of the ACM annual conference-Volume 2},
    pages = {717--740},
    year = {1972},
    url = {https://doi.org/10.1145/800194.805852},
}

@article{reynolds1998definitional,
    title = {Definitional interpreters revisited},
    author = {Reynolds, John C},
    journal = {Higher-Order and Symbolic Computation},
    volume = {11},
    pages = {355--361},
    year = {1998},
    publisher = {Springer},
    url = {https://doi.org/10.1023/A:1010075320153},
}

@article{pfenning1988higher,
    title = {Higher-order abstract syntax},
    author = {Pfenning, Frank and Elliott, Conal},
    journal = {ACM sigplan notices},
    volume = {23},
    number = {7},
    pages = {199--208},
    year = {1988},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/960116.54010},
}

@inproceedings{jones1997type,
    title = {Type classes: an exploration of the design space},
    author = {Jones, Simon Peyton and Jones, Mark and Meijer, Erik},
    booktitle = {In Haskell Workshop},
    year = {1997},
    url = {https://courses.cs.washington.edu/courses/cse590p/06sp/multi.pdf},
}

@inproceedings{lewis2000implicit,
    title = {Implicit parameters: Dynamic scoping with static types},
    author = {Lewis, Jeffrey R and Launchbury, John and Meijer, Erik and Shields, Mark B},
    booktitle = {Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {108--118},
    year = {2000},
    url = {https://doi.org/10.1145/325694.325708},
}

@inproceedings{jones2000type,
    title = {Type classes with functional dependencies},
    author = {Jones, Mark P},
    booktitle = {European Symposium on Programming},
    pages = {230--244},
    year = {2000},
    organization = {Springer},
    url = {https://doi.org/10.1007/3-540-46425-5_15},
}

@inproceedings{chakravarty2005associated,
    title = {Associated types with class},
    author = {Chakravarty, Manuel MT and Keller, Gabriele and Jones, Simon Peyton and Marlow, Simon},
    booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {1--13},
    year = {2005},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/assoc.pdf},
}

@article{chakravarty2005associated-syn,
    title = {Associated type synonyms},
    author = {Chakravarty, Manuel MT and Keller, Gabriele and Jones, Simon Peyton},
    journal = {ACM SIGPLAN Notices},
    volume = {40},
    number = {9},
    pages = {241--253},
    year = {2005},
    publisher = {ACM New York, NY, USA},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf},
}

@inproceedings{schrijvers2008type,
    title = {Type checking with open type functions},
    author = {Schrijvers, Tom and Peyton Jones, Simon and Chakravarty, Manuel and Sulzmann, Martin},
    booktitle = {Proceedings of the 13th ACM SIGPLAN international conference on Functional programming},
    pages = {51--62},
    year = {2008},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2008/01/icfp2008.pdf},
}

@article{eisenberg2014closed,
    title = {Closed type families with overlapping equations},
    author = {Eisenberg, Richard A and Vytiniotis, Dimitrios and Peyton Jones, Simon and Weirich, Stephanie},
    journal = {ACM SIGPLAN Notices},
    volume = {49},
    number = {1},
    pages = {671--683},
    year = {2014},
    publisher = {ACM New York, NY, USA},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/popl137-eisenberg.pdf},
}

@article{stolarek2015injective,
    title = {Injective type families for Haskell},
    author = {Stolarek, Jan and Peyton Jones, Simon and Eisenberg, Richard A},
    journal = {ACM SIGPLAN Notices},
    volume = {50},
    number = {12},
    pages = {118--128},
    year = {2015},
    publisher = {ACM New York, NY, USA},
    url = {https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1070&context=compsci_pubs},
}

@article{eisenberg2014promoting,
    title = {Promoting functions to type families in Haskell},
    author = {Eisenberg, Richard A and Stolarek, Jan},
    journal = {ACM SIGPLAN Notices},
    volume = {49},
    number = {12},
    pages = {95--106},
    year = {2014},
    publisher = {ACM New York, NY, USA},
    url = {https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1000&context=compsci_pubs},
}

@article{kiss2019higher,
    title = {Higher-order type-level programming in Haskell},
    author = {Kiss, Csongor and Field, Tony and Eisenbach, Susan and Peyton Jones, Simon},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {3},
    number = {ICFP},
    pages = {1--26},
    year = {2019},
    publisher = {ACM New York, NY, USA},
    url = {https://dl.acm.org/doi/pdf/10.1145/3341706},
}

@article{swierstra2008data,
    title = {Data types {\`a} la carte},
    author = {Swierstra, Wouter},
    journal = {Journal of functional programming},
    volume = {18},
    number = {4},
    pages = {423--436},
    year = {2008},
    publisher = {Cambridge University Press},
    url = {https://www.cs.tufts.edu/~nr/cs257/archive/wouter-swierstra/DataTypesALaCarte.pdf},
}

@article{chargueraud2012locally,
    title = {The locally nameless representation},
    author = {Chargu{\'e}raud, Arthur},
    journal = {Journal of automated reasoning},
    volume = {49},
    pages = {363--408},
    year = {2012},
    publisher = {Springer},
    url = {https://www.chargueraud.org/research/2009/ln/main.pdf},
}

@article{amin2014foundations,
    title = {Foundations of path-dependent types},
    author = {Amin, Nada and Rompf, Tiark and Odersky, Martin},
    journal = {Acm Sigplan Notices},
    volume = {49},
    number = {10},
    pages = {233--249},
    year = {2014},
    publisher = {ACM New York, NY, USA},
    url = {http://lampwww.epfl.ch/~amin/dot/fpdt_post.pdf},
}

@article{oliveira2010type,
    title = {Type classes as objects and implicits},
    author = {Oliveira, Bruno CdS and Moors, Adriaan and Odersky, Martin},
    journal = {ACM Sigplan Notices},
    volume = {45},
    number = {10},
    pages = {341--360},
    year = {2010},
    publisher = {ACM New York, NY, USA},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=d30d65ca9ce7891352024a5c71ebe0ae8c41f7ac},
}

@inproceedings{yallop2014lightweight,
    title = {Lightweight higher-kinded polymorphism},
    author = {Yallop, Jeremy and White, Leo},
    booktitle = {International Symposium on Functional and Logic Programming},
    pages = {119--135},
    year = {2014},
    organization = {Springer},
    url = {https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf},
}

@article{kvrikava2019scala,
    title = {Scala implicits are everywhere: A large-scale study of the use of scala implicits in the wild},
    author = {K{\v{r}}ikava, Filip and Miller, Heather and Vitek, Jan},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {3},
    number = {OOPSLA},
    pages = {1--28},
    year = {2019},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3360589},
}

@inproceedings{hinze2010reason,
    title = {Reason isomorphically!},
    author = {Hinze, Ralf and James, Daniel WH},
    booktitle = {Proceedings of the 6th ACM SIGPLAN workshop on Generic programming},
    pages = {85--96},
    year = {2010},
    url = {http://www.cs.ox.ac.uk/people/ralf.hinze/publications/WGP10.pdf},
}

@article{devriese2011bright,
    title = {On the bright side of type classes: instance arguments in Agda},
    author = {Devriese, Dominique and Piessens, Frank},
    journal = {ACM SIGPLAN Notices},
    volume = {46},
    number = {9},
    pages = {143--155},
    year = {2011},
    publisher = {ACM New York, NY, USA},
    url = {https://archive.alvb.in/msc/thesis/reading/typeclasses-agda_Devriese.pdf},
}

@article{sulzmann2007understanding,
    title = {Understanding functional dependencies via constraint handling rules},
    author = {Sulzmann, Martin and Duck, Gregory J and Peyton-Jones, Simon and Stuckey, Peter J},
    journal = {Journal of functional programming},
    volume = {17},
    number = {1},
    pages = {83--129},
    year = {2007},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017/S0956796806006137},
}

@article{christiansen2013bidirectional,
    title = {Bidirectional typing rules: A tutorial},
    author = {Christiansen, David Raymond},
    year = {2013},
    publisher = {Tutorial},
    url = {https://davidchristiansen.dk/tutorials/bidirectional.pdf},
}

@article{dunfield2019sound,
    title = {Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types},
    author = {Dunfield, Jana and Krishnaswami, Neelakantan R},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {3},
    number = {POPL},
    pages = {1--28},
    year = {2019},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3290322},
}

@incollection{gibbons2013functional,
    title = {Functional programming for domain-specific languages},
    author = {Gibbons, Jeremy},
    booktitle = {Central European Functional Programming School},
    pages = {1--28},
    year = {2013},
    publisher = {Springer},
    url = {https://ora.ox.ac.uk/objects/uuid:489909da-8818-4d6e-a4fd-0107b589ee76/files/m00be42b36cabbc6d11c8748fac8c7c71},
}

@inproceedings{gibbons2014folding,
    title = {Folding domain-specific languages: deep and shallow embeddings (functional pearl)},
    author = {Gibbons, Jeremy and Wu, Nicolas},
    booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming},
    pages = {339--347},
    year = {2014},
    url = {https://ora.ox.ac.uk/objects/uuid:0547e439-48d5-4749-a5eb-811e65cfaaee/files/mf31b32c6dcbd81dd6a8ef43166a8cc91},
}

@inproceedings{breitner2014safe,
    title = {Safe zero-cost coercions for Haskell},
    author = {Breitner, Joachim and Eisenberg, Richard A and Peyton Jones, Simon and Weirich, Stephanie},
    booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming},
    pages = {189--202},
    year = {2014},
    url = {https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1013&context=compsci_pubs},
}

@incollection{kiselyov2012typed,
    title = {Typed tagless final interpreters},
    author = {Kiselyov, Oleg},
    booktitle = {Generic and indexed programming: International spring school, sSGIP 2010, oxford, uK, march 22-26, 2010, revised lectures},
    pages = {130--174},
    year = {2012},
    publisher = {Springer},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=f0b6a04331821a294bad4d08975637b4f363ec5a#page=136},
}

@article{hinze2012functional,
    title = {Functional Pearl: F for Functor},
    author = {Hinze, Ralf and Hackett, Jennifer and James, Daniel WH},
    year = {2012},
    url = {www.cs.ox.ac.uk/people/daniel.james/functor/functor.pdf},
}

@inproceedings{sulzmann2007system,
    title = {System F with type equality coercions},
    author = {Sulzmann, Martin and Chakravarty, Manuel MT and Jones, Simon Peyton and Donnelly, Kevin},
    booktitle = {Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation},
    pages = {53--66},
    year = {2007},
    url = {https://doi.org/10.1145/1190315.1190324},
}

@article{eisenberg2017levity,
    title = {Levity polymorphism},
    author = {Eisenberg, Richard A and Peyton Jones, Simon},
    journal = {ACM SIGPLAN Notices},
    volume = {52},
    number = {6},
    pages = {525--539},
    year = {2017},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3140587.3062357},
}

@article{serrano2020quick,
    title = {A quick look at impredicativity},
    author = {Serrano, Alejandro and Hage, Jurriaan and Peyton Jones, Simon and Vytiniotis, Dimitrios},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {4},
    number = {ICFP},
    pages = {1--29},
    year = {2020},
    publisher = {ACM New York, NY, USA},
    url = {https://www.microsoft.com/en-us/research/publication/a-quick-look-at-impredicativity/},
}

@inproceedings{emrich2020freezeml,
    title = {Freezeml: Complete and easy type inference for first-class polymorphism},
    author = {Emrich, Frank and Lindley, Sam and Stolarek, Jan and Cheney, James and Coates, Jonathan},
    booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation},
    pages = {423--437},
    year = {2020},
    url = {https://link.springer.com/article/10.1208/s12249-010-9382-3},
}

@article{hillerstrom2022foundations,
    title = {Foundations for programming and implementing effect handlers},
    author = {Hillerstr{\"o}m, Daniel},
    year = {2022},
    publisher = {The University of Edinburgh},
    url = {http://dx.doi.org/10.7488/era/2122},
}

@inproceedings{ager2003functional,
    title = {A functional correspondence between evaluators and abstract machines},
    author = {Ager, Mads Sig and Biernacki, Dariusz and Danvy, Olivier and Midtgaard, Jan},
    booktitle = {Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming},
    pages = {8--19},
    year = {2003},
    url = {https://tidsskrift.dk/brics/article/download/21783/19214/49495},
}

@article{huet1997zipper,
    title = {The zipper},
    author = {Huet, G{\'e}rard},
    journal = {Journal of functional programming},
    volume = {7},
    number = {5},
    pages = {549--554},
    year = {1997},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017/S0956796897002864},
}

@article{mcbride2001derivative,
    title = {The derivative of a regular type is its type of one-hole contexts},
    author = {McBride, Conor},
    journal = {Unpublished manuscript},
    pages = {74--88},
    year = {2001},
    publisher = {Citeseer},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=7de4f6fddb11254d1fd5f8adfd67b6e0c9439eaa},
}

@inproceedings{abbott2003derivatives,
    title = {Derivatives of containers},
    author = {Abbott, Michael and Altenkirch, Thorsten and Ghani, Neil and McBride, Conor},
    booktitle = {International Conference on Typed Lambda Calculi and Applications},
    pages = {16--30},
    year = {2003},
    organization = {Springer},
    url = {http://www.strictlypositive.org/derivcont.pdf},
}

@inproceedings{meijer1991functional,
    title = {Functional programming with bananas, lenses, envelopes and barbed wire},
    author = {Meijer, Erik and Fokkinga, Maarten and Paterson, Ross},
    booktitle = {Conference on functional programming languages and computer architecture},
    pages = {124--144},
    year = {1991},
    organization = {Springer},
    url = {https://ris.utwente.nl/ws/portalfiles/portal/6142049/meijer91functional.pdf},
}

@inproceedings{meijer1995bananas,
    title = {Bananas in space: Extending fold and unfold to exponential types},
    author = {Meijer, Erik and Hutton, Graham},
    booktitle = {Proceedings of the seventh international conference on Functional programming languages and computer architecture},
    pages = {324--333},
    year = {1995},
    url = {https://dl.acm.org/doi/pdf/10.1145/224164.224225},
}

@inproceedings{carette2007finally,
    title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
    author = {Carette, Jacques and Kiselyov, Oleg and Shan, Chung-chieh},
    booktitle = {Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings 5},
    pages = {222--238},
    year = {2007},
    organization = {Springer},
    url = {https://www.cambridge.org/core/journals/journal-of-functional-programming/article/finally-tagless-partially-evaluated-tagless-staged-interpreters-for-simpler-typed-languages/7B2DC44A2127EBBA71ADE63809D9425F},
}

@inproceedings{jones2001playing,
    title = {Playing by the rules: rewriting as a practical optimisation technique in GHC},
    author = {Jones, Simon Peyton and Tolmach, Andrew and Hoare, Tony},
    booktitle = {Haskell workshop},
    volume = {1},
    pages = {203--233},
    year = {2001},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2001/09/rules.pdf},
}

@inproceedings{wadler1988deforestation,
    title = {Deforestation: Transforming programs to eliminate trees},
    author = {Wadler, Philip},
    booktitle = {European Symposium on Programming},
    pages = {344--358},
    year = {1988},
    organization = {Springer},
    url = {https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf},
}

@inproceedings{gill1993short,
    title = {A short cut to deforestation},
    author = {Gill, Andrew and Launchbury, John and Peyton Jones, Simon L},
    booktitle = {Proceedings of the conference on Functional programming languages and computer architecture},
    pages = {223--232},
    year = {1993},
    url = {https://dl.acm.org/doi/pdf/10.1145/165180.165214},
}

@article{coutts2007stream,
    title = {Stream fusion: From lists to streams to nothing at all},
    author = {Coutts, Duncan and Leshchinskiy, Roman and Stewart, Don},
    journal = {ACM SIGPLAN Notices},
    volume = {42},
    number = {9},
    pages = {315--326},
    year = {2007},
    publisher = {ACM New York, NY, USA},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=a4fad0d182605fcd155bebe3d620b7ffa0456968},
}

@article{supercomp,
    title = {ВЫЯВЛЕНИЕ И ДОКАЗАТЕЛЬСТВО СВОЙСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДАМИ СУПЕРКОМПИЛЯЦИИ},
    author = {Романенко, СА},
    url = {https://www.keldysh.ru/council/1/klyuchnikov-diss.pdf},
}

@inproceedings{gibbons2008unfolding,
    title = {Unfolding abstract datatypes},
    author = {Gibbons, Jeremy},
    booktitle = {International Conference on Mathematics of Program Construction},
    pages = {110--133},
    year = {2008},
    organization = {Springer},
    url = {https://ora.ox.ac.uk/objects/uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b3/files/m7c19077c7bfba562a6cc9ceb3db62641},
}

@inproceedings{cook2009understanding,
    title = {On understanding data abstraction, revisited},
    author = {Cook, William R},
    booktitle = {Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications},
    pages = {557--572},
    year = {2009},
    url = {https://www.phaazon.net/media/uploads/on_understanding_data_abstraction.pdf},
}

@inproceedings{kiselyov2017stream,
    title = {Stream fusion, to completeness},
    author = {Kiselyov, Oleg and Biboudis, Aggelos and Palladinos, Nick and Smaragdakis, Yannis},
    booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
    pages = {285--299},
    year = {2017},
    url = {https://arxiv.org/pdf/1612.06668},
}

@article{kiselyov2022highest,
    title = {Highest-performance stream processing},
    author = {Kiselyov, Oleg and Kobayashi, Tomoaki and Biboudis, Aggelos and Palladinos, Nick},
    journal = {arXiv preprint arXiv:2211.13461},
    year = {2022},
    url = {https://arxiv.org/pdf/2211.13461},
}

@inproceedings{downen2019codata,
    title = {Codata in action},
    author = {Downen, Paul and Sullivan, Zachary and Ariola, Zena M and Peyton Jones, Simon},
    booktitle = {European Symposium on Programming},
    pages = {119--146},
    year = {2019},
    organization = {Springer International Publishing Cham},
    url = {https://library.oapen.org/bitstream/handle/20.500.12657/23330/1006825.pdf?sequence=1#page=132},
}

@article{chapman2010gentle,
    title = {The gentle art of levitation},
    author = {Chapman, James and Dagand, Pierre-{\'E}variste and McBride, Conor and Morris, Peter},
    journal = {ACM Sigplan Notices},
    volume = {45},
    number = {9},
    pages = {3--14},
    year = {2010},
    publisher = {ACM New York, NY, USA},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=55ab751e0af3808c741585df0210ca1785c235d6},
}

@inproceedings{elliott1997functional,
    title = {Functional reactive animation},
    author = {Elliott, Conal and Hudak, Paul},
    booktitle = {Proceedings of the second ACM SIGPLAN international conference on Functional programming},
    pages = {263--273},
    year = {1997},
    url = {https://doi.org/10.1145/258948.258973},
}

@book{okasaki1999purely,
    title = {Purely functional data structures},
    author = {Okasaki, Chris},
    year = {1999},
    publisher = {Cambridge University Press},
    url = {https://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/dissertation.pdf},
}

@article{foster2008quotient,
    title = {Quotient lenses},
    author = {Foster, J Nathan and Pilkiewicz, Alexandre and Pierce, Benjamin C},
    journal = {ACM Sigplan Notices},
    volume = {43},
    number = {9},
    pages = {383--396},
    year = {2008},
    publisher = {ACM New York, NY, USA},
    url = {https://repository.upenn.edu/server/api/core/bitstreams/31dcfba8-8b4f-4143-bd2c-9443dc19c499/content},
}

@article{liu2023incremental,
    title = {Incremental Computation: What Is the Essence?},
    author = {Liu, Yanhong A},
    journal = {arXiv preprint arXiv:2312.07946},
    year = {2023},
    url = {https://arxiv.org/pdf/2312.07946},
}

@inproceedings{bohannon2006relational,
    title = {Relational lenses: a language for updatable views},
    author = {Bohannon, Aaron and Pierce, Benjamin C and Vaughan, Jeffrey A},
    booktitle = {Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
    pages = {338--347},
    year = {2006},
    url = {https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=8ee979ec0a1d8288a07a813c7bde91e4a2ae3187},
}

@book{moggi1988computational,
    title = {Computational lambda-calculus and monads},
    author = {Moggi, Eugenio},
    year = {1988},
    publisher = {University of Edinburgh, Department of Computer Science, Laboratory for~…},
    url = {http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-66/ECS-LFCS-88-66.pdf},
}

@inproceedings{liang1995monad,
    title = {Monad transformers and modular interpreters},
    author = {Liang, Sheng and Hudak, Paul and Jones, Mark},
    booktitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {333--343},
    year = {1995},
    url = {https://dl.acm.org/doi/pdf/10.1145/199448.199528},
}

@inproceedings{wadler1990comprehending,
    title = {Comprehending monads},
    author = {Wadler, Philip},
    booktitle = {Proceedings of the 1990 ACM Conference on LISP and Functional Programming},
    pages = {61--78},
    year = {1990},
    url = {https://dl.acm.org/doi/pdf/10.1145/91556.91592},
}

@inproceedings{wadler1992essence,
    title = {The essence of functional programming},
    author = {Wadler, Philip},
    booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {1--14},
    year = {1992},
    url = {https://dl.acm.org/doi/pdf/10.1145/143165.143169},
}

@article{mcbride2008applicative,
    title = {Applicative programming with effects},
    author = {McBride, Conor and Paterson, Ross},
    journal = {Journal of functional programming},
    volume = {18},
    number = {1},
    pages = {1--13},
    year = {2008},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017%2FS0956796807006326},
}

@article{hutton1998fold,
    title = {Fold and unfold for program semantics},
    author = {Hutton, Graham},
    journal = {ACM SIGPLAN Notices},
    volume = {34},
    number = {1},
    pages = {280--288},
    year = {1998},
    publisher = {ACM New York, NY, USA},
    url = {https://dl.acm.org/doi/abs/10.1145/291251.289457},
}

@article{vytiniotis2011outsidein,
    title = {OutsideIn (X) Modular type inference with local assumptions},
    author = {Vytiniotis, Dimitrios and Jones, Simon Peyton and Schrijvers, Tom and Sulzmann, Martin},
    journal = {Journal of functional programming},
    volume = {21},
    number = {4-5},
    pages = {333--412},
    year = {2011},
    publisher = {Cambridge University Press},
    url = {https://doi.org/10.1017/S0956796811000098},
}

@book{pierce2002types,
    title = {Types and programming languages},
    author = {Pierce, Benjamin C},
    year = {2002},
    publisher = {MIT press}
}

@article{launchbury1995state,
    title = {State in haskell},
    author = {Launchbury, John and Peyton Jones, Simon L},
    journal = {Lisp and symbolic computation},
    volume = {8},
    number = {4},
    pages = {293--341},
    year = {1995},
    publisher = {Springer},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf},
}

@misc{peytonjones2019typeinference,
    author = {Simon Peyton Jones},
    title = {Type inference as constraint solving: how GHC’s type inference engine actually works},
    year = {2019},
    howpublished = {Keynote talk at Zurihac 2019},
    url = https://simon.peytonjones.org/type-inference/
}

@inproceedings{ganz1999trampolined,
    title = {Trampolined style},
    author = {Ganz, Steven E and Friedman, Daniel P and Wand, Mitchell},
    booktitle = {Proceedings of the fourth ACM SIGPLAN international conference on Functional programming},
    pages = {18--27},
    year = {1999},
    url = {https://doi.org/10.1145/317636.317779},
}

@article{bjarnarson2012stackless,
    title = {Stackless scala with free monads},
    author = {Bjarnarson, RO},
    journal = {Scala Days},
    year = {2012},
    url = {https://days2012.scala-lang.org/sites/days2012/files/bjarnason_trampolines.pdf},
}

@inproceedings{mcbride2008clowns,
    title = {Clowns to the left of me, jokers to the right (pearl) dissecting data structures},
    author = {McBride, Conor},
    booktitle = {Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {287--295},
    year = {2008},
    url = {https://web.archive.org/web/20170705104305id_/http://www.cis.upenn.edu/~cis39903/static/clowns.pdf},
}

@article{gibbons2021continuation,
    title = {Continuation-passing style, defunctionalization, accumulations, and associativity},
    author = {Gibbons, Jeremy},
    journal = {arXiv preprint arXiv:2111.10413},
    year = {2021},
    url = {https://doi.org/10.48550/arXiv.2111.10413},
}

@inproceedings{filinski1994representing,
    title = {Representing monads},
    author = {Filinski, Andrzej},
    booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    pages = {446--457},
    year = {1994},
    url = {https://doi.org/10.1145/174675.178047},
}

@article{muhcu2025multiple,
    title = {Multiple Resumptions and Local Mutable State, Directly},
    author = {Muhcu, Serkan and Schuster, Philipp and Steuwer, Michel and Brachth{\"a}user, Jonathan Immanuel},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {9},
    number = {ICFP},
    pages = {704--733},
    year = {2025},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3747529},
}

@inproceedings{ploeg2014reflection,
    title = {Reflection without remorse: revealing a hidden sequence to speed up monadic reflection},
    author = {Ploeg, Atze van der and Kiselyov, Oleg},
    booktitle = {Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell},
    pages = {133--144},
    year = {2014},
    url = {https://doi.org/10.1145/2633357.2633360},
}

@article{danvy2008defunctionalized,
    title = {Defunctionalized interpreters for programming languages},
    author = {Danvy, Olivier},
    journal = {ACM Sigplan Notices},
    volume = {43},
    number = {9},
    pages = {131--142},
    year = {2008},
    publisher = {ACM New York, NY, USA},
    url = {http://jfla.inria.fr/2014/danvy-ICFP08.pdf},
}

@misc{danvy2006analytical,
    title = {An analytical approach to program as data objects},
    author = {Danvy, Olivier},
    year = {2006},
    publisher = {DSc thesis, Department of Computer Science, University of Aarhus, Aarhus~…},
    url = {https://www.cs.tufts.edu/comp/150FP/archive/olivier-danvy/d_scientia.pdf},
}

@article{moura2009revisiting,
    title = {Revisiting coroutines},
    author = {Moura, Ana L{\'u}cia De and Ierusalimschy, Roberto},
    journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
    volume = {31},
    number = {2},
    pages = {1--31},
    year = {2009},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/1462166.1462167},
}

@inproceedings{elizarov2021kotlin,
    title = {Kotlin coroutines: design and implementation},
    author = {Elizarov, Roman and Belyaev, Mikhail and Akhin, Marat and Usmanov, Ilmir},
    booktitle = {Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
    pages = {68--84},
    year = {2021},
    url = {https://www.researchgate.net/profile/Mikhail-Belyaev-3/publication/355361443_Kotlin_coroutines_design_and_implementation/links/624c63c34f88c3119ce12a49/Kotlin-coroutines-design-and-implementation.pdf},
}

@article{blanchet1999escape,
    title = {Escape analysis for object-oriented languages: application to Java},
    author = {Blanchet, Bruno},
    journal = {Acm Sigplan Notices},
    volume = {34},
    number = {10},
    pages = {20--34},
    year = {1999},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/320385.320387},
}

@article{forster2017expressive,
    title = {On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control},
    author = {Forster, Yannick and Kammar, Ohad and Lindley, Sam and Pretnar, Matija},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {1},
    number = {ICFP},
    pages = {1--29},
    year = {2017},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3110257},
}

@article{xie2020effect,
    title = {Effect handlers, evidently},
    author = {Xie, Ningning and Brachth{\"a}user, Jonathan Immanuel and Hillerstr{\"o}m, Daniel and Schuster, Philipp and Leijen, Daan},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {4},
    number = {ICFP},
    pages = {1--29},
    year = {2020},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3408981},
}

@article{kiselyov2013extensible,
    title = {Extensible effects: an alternative to monad transformers},
    author = {Kiselyov, Oleg and Sabry, Amr and Swords, Cameron},
    journal = {ACM SIGPLAN Notices},
    volume = {48},
    number = {12},
    pages = {59--70},
    year = {2013},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/2578854.2503791},
}

@article{bauer2018algebraic,
    title = {What is algebraic about algebraic effects and handlers?},
    author = {Bauer, Andrej},
    journal = {arXiv preprint arXiv:1807.05923},
    year = {2018},
    url = {https://doi.org/10.48550/arXiv.1807.05923},
}

@inproceedings{hillerstrom2018shallow,
    title = {Shallow effect handlers},
    author = {Hillerstr{\"o}m, Daniel and Lindley, Sam},
    booktitle = {Asian Symposium on Programming Languages and Systems},
    pages = {415--435},
    year = {2018},
    organization = {Springer},
    url = {https://www.research.ed.ac.uk/files/76099718/shallow_effect_handlers.pdf},
}

@article{kiselyov2015freer,
    title = {Freer monads, more extensible effects},
    author = {Kiselyov, Oleg and Ishii, Hiromi},
    journal = {ACM SIGPLAN Notices},
    volume = {50},
    number = {12},
    pages = {94--105},
    year = {2015},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/2887747.2804319},
}

@inproceedings{kiselyov2012iteratees,
    author = {Kiselyov, Oleg},
    title = {Iteratees},
    booktitle = {FLOPS'12: Proceedings of the 11th international conference on Functional and Logic Programming},
    year = {2012},
    url = {https://okmij.org/ftp/Haskell/Iteratee/describe.pdf},
}

@techreport{leijen2018algebraic,
    title = {Algebraic effect handlers with resources and deep finalization},
    author = {Leijen, Daan},
    year = {2018},
    institution = {Tech. Rep. MSR-TR-2018-10, Microsoft Research (April 2018)},
    url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2018/04/resource-v1.pdf},
}

@inproceedings{sivaramakrishnan2021retrofitting,
    title = {Retrofitting effect handlers onto OCaml},
    author = {Sivaramakrishnan, KC and Dolan, Stephen and White, Leo and Kelly, Tom and Jaffer, Sadiq and Madhavapeddy, Anil},
    booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
    pages = {206--221},
    year = {2021},
    url = {https://doi.org/10.1145/3453483.3454039},
}

@article{phipps2023continuing,
    title = {Continuing WebAssembly with effect handlers},
    author = {Phipps-Costin, Luna and Rossberg, Andreas and Guha, Arjun and Leijen, Daan and Hillerstr{\"o}m, Daniel and Sivaramakrishnan, KC and Pretnar, Matija and Lindley, Sam},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {7},
    number = {OOPSLA2},
    pages = {460--485},
    year = {2023},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3622814},
}

@inproceedings{wu2015fusion,
    title = {Fusion for free: Efficient algebraic effect handlers},
    author = {Wu, Nicolas and Schrijvers, Tom},
    booktitle = {International Conference on Mathematics of Program Construction},
    pages = {302--322},
    year = {2015},
    organization = {Springer},
    url = {https://lirias.kuleuven.be/retrieve/322544},
}

@incollection{jones1995functional,
    title = {Functional programming with overloading and higher-order polymorphism},
    author = {Jones, Mark P},
    booktitle = {International School on Advanced Functional Programming},
    pages = {97--136},
    year = {1995},
    publisher = {Springer},
    url = {http://web.cecs.pdx.edu/mpj/pubs/springschool95.pdf},
}

@inproceedings{schrijvers2019monad,
    title = {Monad transformers and modular algebraic effects: what binds them together},
    author = {Schrijvers, Tom and Pir{\'o}g, Maciej and Wu, Nicolas and Jaskelioff, Mauro},
    booktitle = {Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell},
    pages = {98--113},
    year = {2019},
    url = {https://doi.org/10.1145/3331545.3342595},
}

@inproceedings{plotkin2002notions,
    title = {Notions of computation determine monads},
    author = {Plotkin, Gordon and Power, John},
    booktitle = {International Conference on Foundations of Software Science and Computation Structures},
    pages = {342--356},
    year = {2002},
    organization = {Springer},
    url = {https://era.ed.ac.uk/bitstream/handle/1842/196/Comp_Eff_Monads.pdf?sequence=1},
}

@article{plotkin2013handling,
    title = {Handling algebraic effects},
    author = {Plotkin, Gordon D and Pretnar, Matija},
    journal = {Logical methods in computer science},
    volume = {9},
    year = {2013},
    publisher = {Episciences. org},
    url = {https://doi.org/10.2168/LMCS-9(4:23)2013},
}

@inproceedings{wu2014effect,
    title = {Effect handlers in scope},
    author = {Wu, Nicolas and Schrijvers, Tom and Hinze, Ralf},
    booktitle = {Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell},
    pages = {1--12},
    year = {2014},
    url = {https://doi.org/10.1145/2633357.2633358},
}

@inproceedings{yang2022structured,
    title = {Structured handling of scoped effects},
    author = {Yang, Zhixuan and Paviotti, Marco and Wu, Nicolas and van den Berg, Birthe and Schrijvers, Tom},
    booktitle = {European Symposium on Programming},
    pages = {462--491},
    year = {2022},
    organization = {Springer International Publishing Cham},
    url = {https://library.oapen.org/bitstream/handle/20.500.12657/54028/1/978-3-030-99336-8.pdf#page=476},
}

@article{zhang2020handling,
    title = {Handling bidirectional control flow},
    author = {Zhang, Yizhou and Salvaneschi, Guido and Myers, Andrew C},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {4},
    number = {OOPSLA},
    pages = {1--30},
    year = {2020},
    publisher = {ACM New York, NY, USA},
    url = {https://doi.org/10.1145/3428207},
}

@article{van2022handling,
    title = {Handling Higher-Order Effects},
    author = {van der Rest, Cas and Reinders, Jaro and Poulsen, Casper Bach},
    journal = {arXiv preprint arXiv:2203.03288},
    year = {2022},
    url = {https://arxiv.org/pdf/2203.03288},
}

@article{moller2012static,
    title = {Static program analysis},
    author = {M{\o}ller, Anders and Schwartzbach, Michael I},
    journal = {Notes. Feb},
    year = {2012},
    publisher = {Addison-Wesley},
    url = {https://users-cs.au.dk/amoeller/spa/spa.pdf},
}