bibliography.bib

@InProceedings{one-step-at-a-time,
  author    = {Ferdinand Vesely and
               Kathleen Fisher},
  editor    = {Lu{\'i}s Caires},
  title     = {One Step at a Time - {A} Functional Derivation of Small-Step Evaluators
               from Big-Step Counterparts},
  booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
               {ESOP} 2019, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
               6-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11423},
  pages     = {205--231},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17184-1\_8},
  doi       = {10.1007/978-3-030-17184-1\_8},
  timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl    = {https://dblp.org/rec/conf/esop/VeselyF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ager-natural-semantics,
  author    = {Mads Sig Ager},
  editor    = {Sandro Etalle},
  title     = {From Natural Semantics to Abstract Machines},
  booktitle = {Logic Based Program Synthesis and Transformation, 14th International
               Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3573},
  pages     = {245--261},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/11506676\_16},
  doi       = {10.1007/11506676\_16},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/Ager04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{refocusing,
title={Refocusing in reduction semantics},
author={Danvy, Olivier and Nielsen, Lasse R},
journal={BRICS Report Series},
volume={11},
number={26},
year={2004}
}

@inproceedings{refocusing-auto,
  author    = {Filip Sieczkowski and
               Malgorzata Biernacka and
               Dariusz Biernacki},
  editor    = {Jurriaan Hage and
               Marco T. Moraz{\'{a}}n},
  title     = {Automating Derivations of Abstract Machines from Reduction Semantics:
               - {A} Generic Formalization of Refocusing in Coq},
  booktitle = {Implementation and Application of Functional Languages - 22nd International
               Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
               1-3, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {72--88},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-24276-2\_5},
  doi       = {10.1007/978-3-642-24276-2\_5},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/SieczkowskiBB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{refocusing-generalized,
  author    = {Malgorzata Biernacka and
               Witold Charatonik and
               Klara Zielinska},
  editor    = {Dale Miller},
  title     = {Generalized Refocusing: From Hybrid Strategies to Abstract Machines},
  booktitle = {2nd International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series    = {LIPIcs},
  volume    = {84},
  pages     = {10:1--10:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2017.10},
  doi       = {10.4230/LIPIcs.FSCD.2017.10},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/rta/BiernackaCZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{reynolds,
  author    = {John C. Reynolds},
  title     = {Definitional Interpreters for Higher-Order Programming Languages},
  journal   = {High. Order Symb. Comput.},
  volume    = {11},
  number    = {4},
  pages     = {363--397},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1010027404223},
  doi       = {10.1023/A:1010027404223},
  timestamp = {Thu, 05 Mar 2020 12:05:02 +0100},
  biburl    = {https://dblp.org/rec/journals/lisp/Reynolds98a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{functional-correspondence,
  author    = {Mads Sig Ager and
               Dariusz Biernacki and
               Olivier Danvy and
               Jan Midtgaard},
  title     = {A functional correspondence between evaluators and abstract machines},
  booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 27-29 August 2003,
               Uppsala, Sweden},
  pages     = {8--19},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/888251.888254},
  doi       = {10.1145/888251.888254},
  timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/AgerBDM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  
@book{popa,
  author    = {Flemming Nielson and
               Hanne Riis Nielson and
               Chris Hankin},
  title     = {Principles of program analysis},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/978-3-662-03811-6},
  doi       = {10.1007/978-3-662-03811-6},
  isbn      = {978-3-540-65410-0},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/books/daglib/0098888.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{aam,
  author    = {David Van Horn and
               Matthew Might},
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Abstracting abstract machines},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {51--62},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863543.1863553},
  doi       = {10.1145/1863543.1863553},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/HornM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  
@inproceedings{Felleisen,
  author    = {Matthias Felleisen and
               Daniel P. Friedman},
  title     = {A Calculus for Assignments in Higher-Order Languages},
  booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
               of Programming Languages, Munich, Germany, January 21-23, 1987},
  pages     = {314--325},
  publisher = {{ACM} Press},
  year      = {1987},
  url       = {https://doi.org/10.1145/41625.41654},
  doi       = {10.1145/41625.41654},
  timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/FelleisenF87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@article{ager-call-by-need,
  author    = {Mads Sig Ager and
               Olivier Danvy and
               Jan Midtgaard},
  title     = {A functional correspondence between call-by-need evaluators and lazy
               abstract machines},
  journal   = {Inf. Process. Lett.},
  volume    = {90},
  number    = {5},
  pages     = {223--232},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.ipl.2004.02.012},
  doi       = {10.1016/j.ipl.2004.02.012},
  timestamp = {Tue, 06 Jun 2017 22:27:05 +0200},
  biburl    = {https://dblp.org/rec/journals/ipl/AgerDM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{biernacki-logic-engine,
  author    = {Dariusz Biernacki and
               Olivier Danvy},
  editor    = {Maurice Bruynooghe},
  title     = {From Interpreter to Logic Engine by Defunctionalization},
  booktitle = {Logic Based Program Synthesis and Transformation, 13th International
               Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3018},
  pages     = {143--159},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-25938-1\_13},
  doi       = {10.1007/978-3-540-25938-1\_13},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/BiernackiD03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{ager-monadic-evaluators,
  author    = {Mads Sig Ager and
               Olivier Danvy and
               Jan Midtgaard},
  title     = {A functional correspondence between monadic evaluators and abstract
               machines for languages with computational effects},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {149--172},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.008},
  doi       = {10.1016/j.tcs.2005.06.008},
  timestamp = {Thu, 08 Jun 2017 09:02:35 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AgerDM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@article{biernacka-delimited-continuations,
  author    = {Malgorzata Biernacka and
               Dariusz Biernacki and
               Olivier Danvy},
  title     = {An Operational Foundation for Delimited Continuations in the {CPS}
               Hierarchy},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {1},
  number    = {2},
  year      = {2005},
  url       = {https://doi.org/10.2168/LMCS-1(2:5)2005},
  doi       = {10.2168/LMCS-1(2:5)2005},
  timestamp = {Thu, 25 Jun 2020 21:32:11 +0200},
  biburl    = {https://dblp.org/rec/journals/lmcs/BiernackaBD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  
@inproceedings{flanagan-anf,
  author    = {Cormac Flanagan and
               Amr Sabry and
               Bruce F. Duba and
               Matthias Felleisen},
  editor    = {Robert Cartwright},
  title     = {The Essence of Compiling with Continuations},
  booktitle = {Proceedings of the {ACM} SIGPLAN'93 Conference on Programming Language
               Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June
               23-25, 1993},
  pages     = {237--247},
  publisher = {{ACM}},
  year      = {1993},
  url       = {https://doi.org/10.1145/155090.155113},
  doi       = {10.1145/155090.155113},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/conf/pldi/FlanaganSDF93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{kahn-natural-semantics,
  author    = {Gilles Kahn},
  editor    = {Franz{-}Josef Brandenburg and
               Guy Vidal{-}Naquet and
               Martin Wirsing},
  title     = {Natural Semantics},
  booktitle = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
               Science, Passau, Germany, February 19-21, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {247},
  pages     = {22--39},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/BFb0039592},
  doi       = {10.1007/BFb0039592},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/stacs/Kahn87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{plotkin-sos,
  author    = {Gordon D. Plotkin},
  title     = {A structural approach to operational semantics},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {60-61},
  pages     = {17--139},
  year      = {2004},
  timestamp = {Mon, 18 May 2020 12:40:18 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/Plotkin04a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{scott-denotational-semantics,
  author    = {Dana S. Scott},
  title     = {Data Types as Lattices},
  journal   = {{SIAM} J. Comput.},
  volume    = {5},
  number    = {3},
  pages     = {522--587},
  year      = {1976},
  url       = {https://doi.org/10.1137/0205037},
  doi       = {10.1137/0205037},
  timestamp = {Sat, 27 May 2017 14:22:58 +0200},
  biburl    = {https://dblp.org/rec/journals/siamcomp/Scott76.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{pretty-big-step-semantics,
  author    = {Arthur Chargu{\'{e}}raud},
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {Pretty-Big-Step Semantics},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7792},
  pages     = {41--60},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6\_3},
  doi       = {10.1007/978-3-642-37036-6\_3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/Chargueraud13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{felleisen-reduction-semantics,
  author    = {Matthias Felleisen and
               Robert Bruce Findler and
               Matthew Flatt},
  title     = {Semantics Engineering with {PLT} Redex},
  publisher = {{MIT} Press},
  year      = {2009},
  url       = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2\&tid=11885},
  isbn      = {978-0-262-06275-6},
  timestamp = {Wed, 09 Feb 2011 09:35:03 +0100},
  biburl    = {https://dblp.org/rec/books/daglib/0023092.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{poulsen-deriving-pretty-big-step,
  author    = {Casper Bach Poulsen and
               Peter D. Mosses},
  editor    = {Zhong Shao},
  title     = {Deriving Pretty-Big-Step Semantics from Small-Step Semantics},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8410},
  pages     = {270--289},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8\_15},
  doi       = {10.1007/978-3-642-54833-8\_15},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/PoulsenM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{hannan-big-step-to-am,
  author={Hannan, John and Miller, Dale},
  title={From operational semantics to abstract machines},
  volume={2}, 
  DOI={10.1017/S0960129500001559},
  number={4},
  journal={Mathematical Structures in Computer Science},
  publisher={Cambridge University Press},
  year={1992},
  pages={415--459}
}

@article{landin-secd,
  author    = {P. J. Landin},
  title     = {The Mechanical Evaluation of Expressions},
  journal   = {Comput. J.},
  volume    = {6},
  number    = {4},
  pages     = {308--320},
  year      = {1964},
  url       = {https://doi.org/10.1093/comjnl/6.4.308},
  doi       = {10.1093/comjnl/6.4.308},
  timestamp = {Mon, 29 Jul 2019 15:58:52 +0200},
  biburl    = {https://dblp.org/rec/journals/cj/Landin64.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{krivine-machine,
  author    = {Jean{-}Louis Krivine},
  title     = {A call-by-name lambda-calculus machine},
  journal   = {High. Order Symb. Comput.},
  volume    = {20},
  number    = {3},
  pages     = {199--207},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10990-007-9018-9},
  doi       = {10.1007/s10990-007-9018-9},
  timestamp = {Thu, 05 Mar 2020 12:05:01 +0100},
  biburl    = {https://dblp.org/rec/journals/lisp/Krivine07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@inproceedings{felleisen-cek,
  author    = {Matthias Felleisen and
               Daniel P. Friedman},
  editor    = {Martin Wirsing},
  title     = {Control operators, the SECD-machine, and the {\(\lambda\)}-calculus},
  booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
               the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
               of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
  pages     = {193--222},
  publisher = {North-Holland},
  year      = {1987},
  timestamp = {Thu, 10 Jan 2019 14:38:20 +0100},
  biburl    = {https://dblp.org/rec/conf/ifip2/FelleisenF87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{cregut-normal,
  author    = {Pierre Cr{\'{e}}gut},
  title     = {An Abstract Machine for Lambda-Terms Normalization},
  booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
               Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
  pages     = {333--340},
  publisher = {{ACM}},
  year      = {1990},
  url       = {https://doi.org/10.1145/91556.91681},
  doi       = {10.1145/91556.91681},
  timestamp = {Sat, 03 Aug 2019 15:23:07 +0200},
  biburl    = {https://dblp.org/rec/conf/lfp/Cregut90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{ager-interpreter-compiler,
  title={From interpreter to compiler and virtual machine: a functional derivation},
  author={Ager, Mads Sig and Biernacki, Dariusz and Danvy, Olivier and Midtgaard, Jan},
  journal={BRICS Report Series},
  volume={10},
  number={14},
  year={2003}
}

@article{danvy-object-oriented,
  author    = {Olivier Danvy and
               Jacob Johannsen},
  title     = {Inter-deriving semantic artifacts for object-oriented programming},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {76},
  number    = {5},
  pages     = {302--323},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.jcss.2009.10.004},
  doi       = {10.1016/j.jcss.2009.10.004},
  timestamp = {Sat, 20 May 2017 00:25:53 +0200},
  biburl    = {https://dblp.org/rec/journals/jcss/DanvyJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@inproceedings{jedynak-ltac,
  author    = {Wojciech Jedynak and
               Malgorzata Biernacka and
               Dariusz Biernacki},
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {An operational foundation for the tactic language of Coq},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {25--36},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2505879.2505890},
  doi       = {10.1145/2505879.2505890},
  timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/JedynakBB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{pirog-stg,
  author    = {Maciej Pir{\'{o}}g and
               Dariusz Biernacki},
  editor    = {Jeremy Gibbons},
  title     = {A systematic derivation of the {STG} machine verified in Coq},
  booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2010, Baltimore, MD, USA, 30 September 2010},
  pages     = {25--36},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863523.1863528},
  doi       = {10.1145/1863523.1863528},
  timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/PirogB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@InProceedings{design-and-correctness-cfa,
  author    = {Anindya Banerjee and
               Nevin Heintze and
               Jon G. Riecke},
  editor    = {Naoki Kobayashi and
               Benjamin C. Pierce},
  title     = {Design and Correctness of Program Transformations Based on Control-Flow
               Analysis},
  booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
               {TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2215},
  pages     = {420--447},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45500-0\_21},
  doi       = {10.1007/3-540-45500-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/tacs/BanerjeeHR01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@techreport{leroy-zinc,
  author = {Xavier Leroy},
  title = {The {ZINC} experiment: an economical
                         implementation of the {ML} language},
  institution = {INRIA},
  type = {Technical report},
  number = {117},
  year = {1990},
}

@thesis{abel-nbe,
  title={Normalization by Evaluation: Dependent Types and Impredicativity},
  author={Abel, Andreas},
  year={2013}
}

@article{biernacki-algebraic-effects,
  author    = {Dariusz Biernacki and
               Maciej Pir{\'{o}}g and
               Piotr Polesiuk and
               Filip Sieczkowski},
  title     = {Abstracting algebraic effects},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {6:1--6:28},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290319},
  doi       = {10.1145/3290319},
  timestamp = {Thu, 16 Apr 2020 13:51:51 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BiernackiPPS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{hillerstrom-algebraic-effects,
  author    = {Daniel Hillerstr{\"{o}}m and
               Sam Lindley},
  editor    = {James Chapman and
               Wouter Swierstra},
  title     = {Liberating effects with rows and handlers},
  booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development,
               TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
  pages     = {15--27},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2976022.2976033},
  doi       = {10.1145/2976022.2976033},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/HillerstromL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{appel-compiling-with-continuations,
  author    = {Andrew W. Appel},
  title     = {Compiling with Continuations},
  publisher = {Cambridge University Press},
  year      = {1992},
  isbn      = {0-521-41695-7},
  timestamp = {Tue, 13 Jan 2004 12:56:37 +0100},
  biburl    = {https://dblp.org/rec/books/cu/Appel1992.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{nielsen-cps,
  author    = {Lasse R. Nielsen},
  editor    = {Stephen D. Brookes and
               Michael W. Mislove},
  title     = {A Selective {CPS} Transformation},
  booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
               Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {45},
  pages     = {311--331},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)80969-1},
  doi       = {10.1016/S1571-0661(04)80969-1},
  timestamp = {Mon, 13 Jan 2020 14:38:02 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Nielsen01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{bell-type-driven-defunctionalization,
  author    = {Jeffrey M. Bell and
               Fran{\c{c}}oise Bellegarde and
               James Hook},
  editor    = {Simon L. Peyton Jones and
               Mads Tofte and
               A. Michael Berman},
  title     = {Type-Driven Defunctionalization},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  pages     = {25--37},
  publisher = {{ACM}},
  year      = {1997},
  url       = {https://doi.org/10.1145/258948.258953},
  doi       = {10.1145/258948.258953},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/BellBH97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{nielsen-investigation-defunctionalization,
  author = {Nielsen, Lasse},
  year = {2010},
  month = {09},
  pages = {},
  title = {A Denotational Investigation of Defunctionalization},
  volume = {7},
  journal = {BRICS Report Series},
  doi = {10.7146/brics.v7i47.20214}
}