Published: 19th June 2016|
|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|
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