main.bib

@InProceedings{Farvardin2020,
  author    = {Kavon Farvardin and John H. Reppy},
  booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, London, UK, June 15-20, 2020},
  title     = {From folklore to fact: comparing implementations of stacks and continuations},
  year      = {2020},
  editor    = {Alastair F. Donaldson and Emina Torlak},
  pages     = {75--90},
  publisher = {{ACM}},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/pldi/FarvardinR20.bib},
  doi       = {10.1145/3385412.3385994},
  timestamp = {Tue, 21 Mar 2023 21:00:05 +0100},
  url       = {https://doi.org/10.1145/3385412.3385994},
}

@InProceedings{Fujii2021,
  author    = {Maika Fujii and Kenichi Asai},
  booktitle = {6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, Buenos Aires, Argentina (Virtual Conference), July 17-24, 2021},
  title     = {Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators},
  year      = {2021},
  editor    = {Naoki Kobayashi},
  pages     = {16:1--16:19},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  series    = {LIPIcs},
  volume    = {195},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/fscd/FujiiA21.bib},
  doi       = {10.4230/LIPICS.FSCD.2021.16},
  timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2021.16},
}

@InProceedings{Asai2010,
  author    = {Kenichi Asai and Arisa Kitani},
  booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria},
  title     = {Functional derivation of a virtual machine for delimited continuations},
  year      = {2010},
  editor    = {Temur Kutsia and Wolfgang Schreiner and Maribel Fern{\'{a}}ndez},
  pages     = {87--98},
  publisher = {{ACM}},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/ppdp/AsaiK10.bib},
  doi       = {10.1145/1836089.1836101},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  url       = {https://doi.org/10.1145/1836089.1836101},
}

@InProceedings{Gasbichler2002,
  author    = {Martin Gasbichler and Michael Sperber},
  booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002},
  title     = {Final shift for call/cc: : direct implementation of shift and reset},
  year      = {2002},
  editor    = {Mitchell Wand and Simon L. Peyton Jones},
  pages     = {271--282},
  publisher = {{ACM}},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/icfp/GasbichlerS02.bib},
  doi       = {10.1145/581478.581504},
  timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
  url       = {https://doi.org/10.1145/581478.581504},
}

@article{ClingerHO99,
  author       = {William D. Clinger and
                  Anne Hartheimer and
                  Eric Ost},
  title        = {Implementation Strategies for First-Class Continuations},
  journal      = {High. Order Symb. Comput.},
  volume       = {12},
  number       = {1},
  pages        = {7--45},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1010016816429},
  doi          = {10.1023/A:1010016816429},
  timestamp    = {Thu, 05 Mar 2020 12:05:02 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/ClingerHO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{HiebDB90,
  author       = {Robert Hieb and
                  R. Kent Dybvig and
                  Carl Bruggeman},
  editor       = {Bernard N. Fischer},
  title        = {Representing Control in the Presence of First-Class Continuations},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'90 Conference on Programming Language
                  Design and Implementation (PLDI), White Plains, New York, USA, June
                  20-22, 1990},
  pages        = {66--77},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/93542.93554},
  doi          = {10.1145/93542.93554},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HiebDB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Bruggeman1996,
  author       = {Carl Bruggeman and
                  Oscar Waddell and
                  R. Kent Dybvig},
  editor       = {Charles N. Fischer},
  title        = {Representing Control in the Presence of One-Shot Continuations},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
                  Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
                  May 21-24, 1996},
  pages        = {99--107},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/231379.231395},
  doi          = {10.1145/231379.231395},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BruggemanWD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@Article{Dybvig2007,
  author    = {R. Kent Dybvig and Simon L. Peyton Jones and Amr Sabry},
  journal   = {J. Funct. Program.},
  title     = {A monadic framework for delimited continuations},
  year      = {2007},
  number    = {6},
  pages     = {687--730},
  volume    = {17},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/journals/jfp/DybvigJS07.bib},
  doi       = {10.1017/S0956796807006259},
  timestamp = {Sat, 05 Sep 2020 17:51:31 +0200},
  url       = {https://doi.org/10.1017/S0956796807006259},
}

@Comment{jabref-meta: databaseType:bibtex;}