2015 Workshop on Continuations: pre-proceedings

Forfattere

Olivier Danvy; Tristan Crolard; Jules Hedges; Neil Sculthorpe; Gabriel Kerneis; Hayo Thielecke; Serguei Lenglet; Yukiyoshi Kameyama; Alexis Saurin

Nøgleord:

Continuations

Synopsis

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

Kapitler

  • Editorial
    Olivier Danvy
  • A verified abstract machine for functional coroutines
    Tristan Crolard
  • The selection monad as a CPS translation
    Jules Hedges
  • A modular structural operational semantics for delimited continuations
    Neil Sculthorpe
  • Why all programmers want continuations (but use callbacks instead)
    Gabriel Kerneis
  • Command injection attacks, continuations, and the Lambek calculus
    Hayo Thielecke
  • Bisimulations for delimited-control operators
    Serguei Lenglet
  • ATM without tears: prompt-passing style transformation for typed delimited-control operators
    Yukiyoshi Kameyama
  • Logical by need
    Alexis Saurin

Forfatterbiografier

Olivier Danvy

Department of Computer Science

Aarhus University, Denmark

Tristan Crolard

CNAM, France

Jules Hedges

Queen Mary University of London

Neil Sculthorpe

Swansea University, UK

Hayo Thielecke

University of Birmingham, UK

Serguei Lenglet

Université de Lorraine, France

Yukiyoshi Kameyama

University of Tsukuba

Downloads

PDF

Publiceret

10 april 2015

Serier

Proceedings

Kategorier

Detaljer om denne monografi

Co-publisher's ISBN-13 (24)

9788775073122

DOI:

https://doi.org/10.7146/aul.4.4