ML 2006: Call for Participation
Francois Pottier
* 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 Fillitre 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 Fillitre
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
ak...@microsoft.com
Francois Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex
FRANCE
francois...@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)
Francois Pottier (INRIA Rocquencourt, co-chair)
Ian Stark (University of Edinburgh)
Alley Stoughton (Kansas State University)
Jerome Vouillon (CNRS and Universite Paris 7)
Stephanie Weirich (University of Pennsylvania)