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 (abstract.ps.gz, paper.ps.gz, 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 (abstract.ps.gz, 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 |
