[PL-sem-jr] Talk monday, Mon 11/29

[Vincent St-Amour]

Mon 11/29, Room WVH166 12:30-2:30

Jose Falcom - Continuations: Take Control!

Control constructs are an important tool in programming languages.
Historically, languages have relied on labels and gotos for program control.
Some modern languages, however, provide powerful mechanisms for expressing
more advanced control, not possible with labels and gotos. It is essential
to understand continuations to use these utilities effectively.

This tutorial talk will cover a brief history of continuations and the
implementation of first-order and higher-order control operators in modern
programming languages. We will study Scheme's call/cc construct, dabble in
a bit of theory and, time permitting, discuss coroutines and delimited
continuations.