The 2006 ACM SIGPLAN Workshop on ML

Program

9:30 - 10:30, chair: Andrew Kennedy (Microsoft Research Cambridge)

 

Welcome

 

Invited talk: Whole-Program Compilation in MLton
Stephen Weeks

 

11:00 - 12:30, chair: Derek Dreyer (Toyota Technological Institute, Chicago)

 

ML Grid Programming with ConCert
Tom Murphy VII (Carnegie Mellon University)

 

Type-Safe Modular Hash-Consing
Jean-Christophe Filliâtre and Sylvain Conchon (Université Paris Sud)

 

Type-Safe Distributed Programming for OCaml
John Billings, Peter Sewell, Mark Shinwell and Rok Strnisa (University of Cambridge)

 

14:30 - 16:00, chair: Stephanie Weirich (University of Pennsylvania)

 

A Separate Compilation Extension to Standard ML
David Swasey, Tom Murphy VII, Karl Crary and Robert Harper (Carnegie Mellon University)

 

Leveraging .NET Meta-Programming Components in F#
Don Syme (Microsoft Research Cambridge)

 

Backtracking Iterators
Jean-Christophe Filliâtre (Université Paris Sud)

 

16:30 - 18:00, chair: Matthew Fluet (Cornell University)

 

SEMINAL: Searching for ML Type-Error Messages
Benjamin Lerner, Dan Grossman and Craig Chambers (University of Washington)

 

Type-Sensitive control-flow analysis
John Reppy (University of Chicago)

 

Ocsigen: Typing interaction with Objective Caml
Vincent Balat (Université Paris 7)

 

Last updated 7th August 2006.