The 2006 ACM SIGPLAN Workshop on ML


9:30 - 10:30, chair: Andrew Kennedy (Microsoft Research Cambridge)
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.