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

Francois Pottier <>
12 Aug 2006 13:09:11 -0400

          From comp.compilers

Related articles
ML 2006: Call for Participation (Portland OR, Sept 16) (Francois Pottier) (2006-08-12)
| List of all articles for this month |

From: Francois Pottier <>
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 *
* *
* *


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



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

Francois 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 (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.