2015 Workshop on Continuations: pre-proceedings
This volume contains the papers presented at WoC 2015, the 2015 Workshop
on Continuations held on April 12, 2015 in London, UK.
A verified abstract machine for functional coroutines
The selection monad as a CPS translation
A modular structural operational semantics for delimited continuations
Why all programmers want continuations (but use callbacks instead)
Command injection attacks, continuations, and the Lambek calculus
Bisimulations for delimited-control operators
ATM without tears: prompt-passing style transformation for typed delimited-control operators
Logical by need
- Tristan Crolard
- Jules Hedges
- Neil Sculthorpe et al.
- Gabriel Kerneis
- Hayo Thielecke
- Serguei Lenglet
- Ikuo Kobori et al.
- Alexis Saurin
- Full Volume