English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
The 2006 ACM SIGPLAN Workshop on ML: Call for Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-08-11 (13:39)
From: Francois Pottier <Francois.Pottier@i...>
Subject: The 2006 ACM SIGPLAN Workshop on ML: Call for Participation
*               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/                   *


9:30-10:30: chaired by Andrew Kennedy


        Invited talk: Whole-Program Compilation for MLton
        Stephen Weeks



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



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: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


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

François Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex

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)