ML 2006: Call for Participation (Portland OR, Sept 16)

*********************************************************************
* 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
akenn@microsoft.com


Francois 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 (Universita 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)

Return to the comp.compilers page.
Search the comp.compilers archives again.