2015 Workshop on Continuations: pre-proceedings

Forside
PDF
  • download_done Downloads: 1492
  • Published April 10, 2015
  • copyright Copyright (c) 2015 Olivier Danvy (Bindredaktør); Olivier Danvy, Tristan Crolard, Jules Hedges, Neil Sculthorpe, Paolo Torrini, Peter D. Mosses, Gabriel Kerneis, Hayo Thielecke, Dariusz Biernacki, Sergueï Lenglet, Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov, Pierre-Marie Pédrot, Alexis Saurin (Kapitelforfatter)
  • DOI: https://doi.org/10.7146/aul.4.4
  • ISBN-13 (15) : 978-877-50731-2-2
  • Series Proceedings
  • Categories Faculty of Natural Sciences Computer Science, Department of
Editors

Olivier Danvy (ed), Department of Computer Science, Aarhus University, Denmark

Keywords

Continuations

Synopsis

This volume contains the papers presented at WoC 2015, the 2015 Workshop on Continuations held on April 12, 2015 in London, UK.

Chapters
  • Editorial
    Olivier Danvy
    PDF
  • A verified abstract machine for functional coroutines
    Tristan Crolard
    PDF
  • The selection monad as a CPS translation
    Jules Hedges
    PDF
  • A modular structural operational semantics for delimited continuations
    Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
    PDF
  • Why all programmers want continuations (but use callbacks instead)
    Gabriel Kerneis
    PDF
  • Command injection attacks, continuations, and the Lambek calculus
    Hayo Thielecke
    PDF
  • A Quick Survey on Bisimulations for Delimited-Control Operators
    Dariusz Biernacki, Sergueï Lenglet
    PDF
  • ATM without tears: prompt-passing style transformation for typed delimited-control operators
    Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov
    PDF
  • Logical by need
    Pierre-Marie Pédrot, Alexis Saurin
    PDF

How to Cite

Danvy, O. (Ed.). (2015). 2015 Workshop on Continuations: pre-proceedings. Aarhus University. https://doi.org/10.7146/aul.4.4