WoC 2015 - 1st Workshop on Continuations (WoC)

Modern programming languages provide sophisticated control mechanisms, commonly referred to as control operators which are widely used to realize a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. There is an active research on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. Ideas and results from this area have impact in many other fields of computer science, like concurrent systems, proof theory, proof mining, web programming and linguistics. The focus of the workshop is on the interplay between syntax and semantics, the question of what a program using control operators means and how it acts.
The study of control operators is a prominent issue in the theory and practice of functional programming languages with a respectable tradition since the 80's which has been rediscovered along the years in several fields of computer science, fostering applications and rising new challenges. In particular the theme of embedding nonfunctional features in purely functional languages seems a good way to reconcile abstraction and methodologically well understood concepts with expressiveness w.r.t. concurrent systems and communication centered programming which are of major interest at present.
A preliminary list of topics includes (but it is not limited to):
continuations and delimited continuations
categorical models of continuations
compositionality and modularity of coninuations
denotational semantics of control, event structures and causality
translations, operational semantics and abstract machines
type systems for control operators and computational lambda calculi
game semantics of programming languages and of logical proofs
usage of control operators in proof search and proof mining
constructive interpretation of non-constructive proofs