WoC

201620162016

Keyphrases

Publications

volume 212, 2016

Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015. WoC 212 (2016)

2015

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