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

EPTCS 212

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

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

Preface

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