The 2007 ACM SIGPLAN Workshop on ML
Friday, October 5, 2007
Final Program
- 8:50-9:00
- Welcome/Opening remarks
Derek Dreyer, Program Chair
- 9:00-10:00
- Invited talk: MLF for Everyone (Users, Implementers, and Designers)
Didier Rémy
slides (pdf)
- 10:00-10:30
- Coffee Break
- 10:30-12:30
- Efficient ML Type Inference Using Ranked Type Variables
George Kuan and David MacQueen
slides (pdf)
- Status Report: The Manticore Project
Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw and Yingqi Xiao
slides (pdf)
- Status Report: HOT Pickles, and How to Serve Them
Andreas Rossberg, Guido Tack and Leif Kornstaedt
slides (pdf)
- A Persistent Union-Find Data Structure
Sylvain Conchon and Jean-Christophe Filliātre
slides (pdf)
- 12:30-14:00
- Lunch Break
- 14:00-15:30
- Status Report: Specifying JavaScript with ML
David Herman and Cormac Flanagan
slides (pdf)
- Status Report: Layered Streaming XML Processing with Modules
Tyng-Ruey Chuang and Max Schäfer
slides (pdf)
- Status Report: Marionnet -- How to Implement a Virtual Network Laboratory in Six Months and Be Happy
Jean-Vincent Loddo and Luca Saiu
slides (pdf),
slides (odf)
- 15:30-16:00
- Coffee Break
- 16:00-17:00
- Generics for the Working ML'er
Vesa Karvonen
slides (pdf)
- Practical Generic Programming in OCaml
Jeremy Yallop
slides (pdf)
Last modified: Wed October 24, 2007