[Colloquium] REMINDER: today's talk by Olivier Danvy

[Margery Ishmael]

DEPARTMENT OF COMPUTER SCIENCE

Date: Thursday, October 28, 2004
Time: 3:00 p.m.
Place: Ryerson 251

--------------------------------------

*Please note: the first part of this talk will be followed by refreshments
in Ryerson 255. The talk will continue in Ry 255 after the refreshments.*

Speaker: OLIVIER DANVY, University of Aarhus, Denmark

Url: http://www.brics.dk/~danvy/

Title: A functional correspondence between evaluators and abstract
machines.

Abstract: The first part of the talk presents a programming-language
toolbox that includes continuations, defunctionalization, evaluation
contexts, and normalization by evaluation.

The second part of the talk builds on the first to present a
correspondence between evaluators and abstract machines for the
lambda-calculus, that provides a uniform account of all the major existing
abstract machines (which have all been developed independently).

--------------------------------------

Host: Robert Findler