********************************************************************* * The 2006 ACM SIGPLAN Workshop on ML * * * * September 16, 2006 * * * * Colocated with the 11th ACM SIGPLAN * * International Conference on Functional Programming (ICFP 2006), * * Portland, Oregon. * * * * Call for Participation * * * * http://gallium.inria.fr/ml2006/ * ********************************************************************* Programme 9:30-10:30: chaired by Andrew Kennedy Welcome Invited talk: Whole-Program Compilation for MLton Stephen Weeks 10:30-11:00 Break 11:00-12:30: chaired by Derek Dreyer ML Grid Programming with ConCert Tom Murphy VII Type-Safe Modular Hash-Consing Jean-Christophe Filliâtre and Sylvain Conchon Type-Safe Distributed Programming for OCaml John Billings, Peter Sewell, Mark Shinwell and Rok Strnisa 12:30-14:30 Lunch 14:30-16:00: chaired by Stephanie Weirich A Separate Compilation Extension to Standard ML David Swasey, Tom Murphy VII, Karl Crary and Robert Harper Leveraging .NET Meta-Programming Components in F# Don Syme Backtracking Iterators Jean-Christophe Filliâtre 16:00-16:30 Break 16:30-18:00: chaired by Matthew Fluet SEMINAL: Searching for ML Type-Error Messages Benjamin Lerner, Dan Grossman and Craig Chambers Type-Sensitive control-flow analysis John Reppy Ocsigen: Typing interaction with Objective Caml Vincent Balat Scope The ML family of programming languages, whose most popular variants are SML and OCaml, has inspired a tremendous amount of computer science research, both practical and theoretical, and ML continues to underpin a variety of applications, ranging from compilers and theorem provers to low-level system software. This workshop aims to provide a forum for discussion and research on existing and future ML and ML-like languages. Proceedings will be published by ACM Press and will appear in the ACM Digital Library. General Chairs and Program Chairs Andrew Kennedy Microsoft Research Ltd, 7 JJ Thomson Ave, Cambridge CB3 0FB, UK akenn@microsoft.com François Pottier INRIA Rocquencourt BP 105 78153 Le Chesnay Cedex FRANCE francois.pottier@inria.fr Programme Committee Derek Dreyer (Toyota Technological Institute at Chicago) Matthew Fluet (Cornell University) John Harrison (Intel Corporation) Haruo Hosoya (University of Tokyo) Andrew Kennedy (Microsoft Research Cambridge, co-chair) Eugenio Moggi (Università di Genova) Michael Norrish (National ICT Australia) François Pottier (INRIA Rocquencourt, co-chair) Ian Stark (University of Edinburgh) Alley Stoughton (Kansas State University) Jérôme Vouillon (CNRS and Université Paris 7) Stephanie Weirich (University of Pennsylvania)