Loading ...
Loading ...
2015 Workshop on Continuations: pre-proceedings

Publication Info

Added 2015-04-10
Co-publisher's ISBN-13: 9788775073122
doi: 10.7146/aul.4.4

Related categories

2015 Workshop on Continuations: pre-proceedings

Olivier Danvy (Volume editor); Tristan Crolard, Jules Hedges, Neil Sculthorpe, Gabriel Kerneis, Hayo Thielecke, Serguei Lenglet, Yukiyoshi Kameyama, Alexis Saurin

This volume contains the papers presented at WoC 2015, the 2015 Workshop
on Continuations held on April 12, 2015 in London, UK.

About the Volume editor: Olivier Danvy

Department of Computer Science

Aarhus University, Denmark

About the Chapter Author: Tristan Crolard

CNAM, France

About the Chapter Author: Jules Hedges

Queen Mary University of London

About the Chapter Author: Neil Sculthorpe

Swansea University, UK

About the Chapter Author: Gabriel Kerneis

No biography available at this time.

About the Chapter Author: Hayo Thielecke

University of Birmingham, UK

About the Chapter Author: Serguei Lenglet

Université de Lorraine, France

About the Chapter Author: Yukiyoshi Kameyama

University of Tsukuba

About the Chapter Author: Alexis Saurin

No biography available at this time.

Editorial

Olivier Danvy

A verified abstract machine for functional coroutines

Tristan Crolard

The selection monad as a CPS translation

Jules Hedges

A modular structural operational semantics for delimited continuations

Neil Sculthorpe

Why all programmers want continuations (but use callbacks instead)

Gabriel Kerneis

Command injection attacks, continuations, and the Lambek calculus

Hayo Thielecke

Bisimulations for delimited-control operators

Serguei Lenglet

ATM without tears: prompt-passing style transformation for typed delimited-control operators

Yukiyoshi Kameyama

Logical by need

Alexis Saurin

PDF
Open Monograph Press Public Knowledge Project

Aarhus University Library/State and University Library - AU Library Scholarly Publishing Services - E-books