[Colloquium] Olivier Danvy's talk on Thursday, October 28th at 3:00 p.m.

[Margery Ishmael]

DEPARTMENT OF COMPUTER SCIENCE - TALK

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

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

Speaker:  OLIVIER DANVY

From:  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).

The first part will be given in this seminar and the second will be
given in the graduate student seminar on October 29th at 4:00 p.m. in 
Ry 255.
Please see http://people.cs.uchicago.edu/~shi/friday_seminar.html for 
details.

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

Host: Robert Findler

*Refreshments will follow the talk in Ryerson 255*

For details of more CS talks, please see: 
http://www.cs.uchicago.edu/events

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 1284 bytes
Desc: not available
Url : http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20041014/8fa36c76/attachment.bin