| Thursday, September 29 | |
| 8.45-9.00 | Opening |
| Session 1 (9:00-10:30): Matthias Blume | |
| 9.00-10.00 | Greg Morrisett What will the next ML look like? (invited talk) |
| 10.00-10.30 | Don Syme Initalizing mutually referential abstract objects: the value recursion challenge |
| 10.30-11.00 | Coffee |
| Session 2 (11:00-12:30): Robert Harper | |
| 11.00-11.30 | François Pottier An overview of alphaCaml |
| 11:30-12:00 | Mark R. Shinwell Fresh O'Caml: nominal abstract syntax for the masses |
| 12:00-12:30 | Guido Tack, Leif Kornstaedt and Gert Smolka Generic pickling and minimization |
| 12.30-14.30 | Lunch |
| Session 3 (14:30-16:00): Nick Benton | |
| 14.30-16.00 | Norman Ramsey and Joao Dias An applicative control-flow graph based on Huet's zipper |
| 15.00-15.30 | Umut A. Acar, Guy Blelloch, Matthias Blume, Robert Harper
and Kanat Tangwongsan A library for self-adjusting computation |
| 15.30-16.00 | François Pottier and Yann Régis-Gianas Towards efficient, typed LR parsers |
| 16.00-16.30 | Coffee |
| Session 4 (16:30-18:00): Xavier Leroy | |
| 16.30-17.00 | Norman Ramsey ML module mania: a type-safe, separately compiled, extensible interpreter |
| 17.00-17.30 | Matthew Fluet and Riccardo Pucella Practical datatype specializations with phantom types and recursion schemes |
| 17.30-18.00 | Kenny Zhuo Ming Lu and Martin Sulzmann A type-safe embedding of XDuce into ML |
| 18.00-18.30 | Open session |
| 20.00- | GPCE / ICFP post-workshops reception at the Kadriorg Palace |