[TYPES/announce] The 2006 ACM SIGPLAN Workshop on ML: Call for Participation

Francois Pottier Francois.Pottier at inria.fr
Fri Aug 11 09:39:28 EDT 2006


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

François Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex
FRANCE
francois.pottier at 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)




More information about the Types-announce mailing list