C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
WoC
2015
2016
2015
2016
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)