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

Francois Pottier <Francois.Pottier@inria.fr>
12 Aug 2006 13:09:11 -0400

          From comp.compilers
Related articles
ML 2006: Call for Participation (Portland OR, Sept 16) Francois.Pottier@inria.fr (Francois Pottier) (2006-08-12)
| List of all articles for this month |
From: Francois Pottier <Francois.Pottier@inria.fr>
Newsgroups: comp.compilers
Date: 12 Aug 2006 13:09:11 -0400
Organization: I.N.R.I.A Rocquencourt
Keywords: conference, ML
Posted-Date: 12 Aug 2006 13:09:11 EDT

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

Post a followup to this message

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