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.