Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2005
EATTK 2005

10th Estonian Winter School in Computer Science (EWSCS)
X Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 27 - March 4, 2005

under the auspices of European Educational Forum

Olivier Danvy

University of Aarhus

A Vade Mecum to Continuations


The notion of continuation is ubiquitous in many different areas of computer science, including logic, constructive mathematics, programming languages, and programming. The tutorial addresses their most basic aspects both conceptually, theoretically, and practically. While continuations are not an end in themselves, it is the consistent experience of the lecturer that any new understanding of continuations is accompanied by a new understanding in other areas in computer science.

Course materials

Background reading

About the Lecturer


Modified Mar 09, 2005 14:58 by monika(at)