Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/Danvyd16,
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.212},
  doi          = {10.4204/EPTCS.212},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Danvyd16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Crolard16,
  author       = {Tristan Crolard},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {A verified abstract machine for functional coroutines},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {1--17},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.1},
  doi          = {10.4204/EPTCS.212.1},
  timestamp    = {Sun, 04 Aug 2024 19:45:26 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Crolard16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Johnson-FreydDA16,
  author       = {Philip Johnson{-}Freyd and
                  Paul Downen and
                  Zena M. Ariola},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {First Class Call Stacks: Exploring Head Reduction},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {18--35},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.2},
  doi          = {10.4204/EPTCS.212.2},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Johnson-FreydDA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KoboriKK16,
  author       = {Ikuo Kobori and
                  Yukiyoshi Kameyama and
                  Oleg Kiselyov},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {Answer-Type Modification without Tears: Prompt-Passing Style Translation
                  for Typed Delimited-Control Operators},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {36--52},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.3},
  doi          = {10.4204/EPTCS.212.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KoboriKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PirogG16,
  author       = {Maciej Pir{\'{o}}g and
                  Jeremy Gibbons},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {From Push/Enter to Eval/Apply by Program Transformation},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {53--62},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.4},
  doi          = {10.4204/EPTCS.212.4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PirogG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SculthorpeTM16,
  author       = {Neil Sculthorpe and
                  Paolo Torrini and
                  Peter D. Mosses},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {A Modular Structural Operational Semantics for Delimited Continuations},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {63--80},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.5},
  doi          = {10.4204/EPTCS.212.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SculthorpeTM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Thielecke16,
  author       = {Hayo Thielecke},
  editor       = {Olivier Danvy and
                  Ugo de'Liguoro},
  title        = {Command injection attacks, continuations, and the Lambek calculus},
  booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
                  April 12th 2015},
  series       = {{EPTCS}},
  volume       = {212},
  pages        = {81--96},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.212.6},
  doi          = {10.4204/EPTCS.212.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Thielecke16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}