The 2006 ACM SIGPLAN Workshop on ML: Call for Participation

[Francois Pottier <Francois.Pottier@inria.fr>]

*********************************************************************
*               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)