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)
 

Valid XHTML 1.0 Strict

Last updated 7th August 2006.