Workshop on Normalization by Evaluation, NBE'04

Tallinn, Estonia, 17 April 2004


The workshop will be held in the premises of Restaurant and Guesthouse Olematu Rüütel, Kiriku põik 4A, in the Old Town (marked OR on this map).

9:00-9:30 Coffee
09:30-11:00 Klaus Aehlig, Felix Joachimski
Untyped normalization by evaluation (,, slides.pdf)
Thorsten Altenkirch, Tarmo Uustalu
Normalization by evaluation for lambdaarr,2 (abstract.pdf, paper.pdf, slides.pdf)
11:00-11:30 Coffee
11:30-13:00 Sam Lindley
Normalization by evaluation for SML.NET (, slides.ppt)
Olivier Danvy
A functional correspondence between normalization functions and abstract machines (slides.pdf)
13:00-14:30 Lunch
14:30-16:00 Discussion

Organizers, appsem04(at)cs.ioc ee
Last update 15 May 2004