[CFP] 2006 ACM SIGPLAN Workshop on ML (Sep 2006, Oregon)

Francois Pottier <Francois.Pottier@inria.fr>
27 Mar 2006 01:24:07 -0500

          From comp.compilers

Related articles
[CFP] 2006 ACM SIGPLAN Workshop on ML (Sep 2006, Oregon) Francois.Pottier@inria.fr (Francois Pottier) (2006-03-27)
| List of all articles for this month |

From: Francois Pottier <Francois.Pottier@inria.fr>
Newsgroups: comp.compilers,comp.lang.functional,comp.lang.scheme
Date: 27 Mar 2006 01:24:07 -0500
Organization: I.N.R.I.A Rocquencourt
Keywords: CFP, conference, functional
Posted-Date: 27 Mar 2006 01:24:07 EST

* 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 Papers *
* *
* http://gallium.inria.fr/ml2006/ *

Important dates

* Submission deadline: Saturday 3rd June 2006.
* Notification of acceptance: Saturday 8th July 2006.
* Final paper due: Saturday 29th July 2006.


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.

We seek papers on any ML-related topic, including (but not limited to):

      * applications.
      * extensions: objects, classes, concurrency, distribution
and mobility, semi-structured data handling, etc.
      * type systems: inference, modules, specification, error reporting,
      * implementation: compilers, interpreters, partial evaluators,
                                          garbage collectors, etc.
      * environments: libraries, tools, editors, debuggers,
                                          cross-language interoperability, etc.
      * semantics.

Both experimental and theoretical papers are welcome. Each paper
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. In order to
encourage lively discussion, submitted papers may describe work in

Papers must be submitted in either PDF format or as PostScript
documents that are interpretable by Ghostscript. They must be
printable on US Letter sized paper. Papers should be formatted using
the ACM SIGPLAN style guidelines available at


The length should be no more than 12 pages.

Proceedings will be published by ACM Press and will appear in the ACM
Digital Library. Authors of accepted papers will be required to sign
the ACM copyright form.

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.