[PL-sem-jr] Delimited continuations: Monday 12/1, 12:00pm in WVH 366

[Andrew Cobb]

First-class delimited continuations provide a powerful, abstract
representation
of control flow.

This talk will introduce evaluation contexts for the lambda calculus,
and show
how they can be made into [delimited] continuations that are first-class
values.

Continuations can be used to implement many language features including:
exceptions, green threads, non-determinism, generators, and even mutable
state.

--
Andrew


(sorry if this is a duplicate, having some trouble with email addresses)