ML 2005 Programme

Thursday, September 29
8.45-9.00Opening
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.00Coffee
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.30Lunch
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.30Coffee
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.30Open session
20.00-GPCE / ICFP post-workshops reception at the Kadriorg Palace