Published: 19th June 2016
DOI: 10.4204/EPTCS.212
ISSN: 2075-2180


Proceedings of the
Workshop on Continuations
London, UK, April 12th 2015

Edited by: Olivier Danvy and Ugo de'Liguoro

A verified abstract machine for functional coroutines
Tristan Crolard
First Class Call Stacks: Exploring Head Reduction
Philip Johnson-Freyd, Paul Downen and Zena M. Ariola
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
Ikuo Kobori, Yukiyoshi Kameyama and Oleg Kiselyov
From Push/Enter to Eval/Apply by Program Transformation
Maciej Piróg and Jeremy Gibbons
A Modular Structural Operational Semantics for Delimited Continuations
Neil Sculthorpe, Paolo Torrini and Peter D. Mosses
Command injection attacks, continuations, and the Lambek calculus
Hayo Thielecke


The Workshop on Continuations, WoC 2015, was held in London in April 2015. WoC 2015 offered a forum for the presentation and discussion of continuation-based constructs in programming languages, whether in the style of Curry (terms first, types later) or in the style of Church (types first, typed terms later).

The program committee of Woc 2015 consisted in:

The contributions in this volume encompass classical topics like various forms of CPS and abstract-machine semantics, as well as the formalization of the semantics of control operators via MSOS systems. Deep connections of control operators with logics or with the Lambek calculus generalizing the notion of grammar have been considered, illustrating the enduring relevance of continuations today.

We extend our grateful thanks to the PC members, the authors of contributed papers, the WoC attendees, the authors of the distilled tutorials, and to our contact at EPTCS, Rob van Glabbeek.

30th of May, 2016 Olivier Danvy
Ugo de'Liguoro