[MLton-user] Final CFP: ML Workshop 2008
sumii at ecei.tohoku.ac.jp
Mon Jun 16 14:40:20 PDT 2008
The submission deadline (June 23, Monday) for ML Workshop 2008 is
approaching. Note the extension of the scope of the workshop this
year (see below). Please feel free to contact the program chair
(sumii at ecei.tohoku.ac.jp) if you have any question.
CALL FOR PAPERS
The 2008 ACM SIGPLAN Workshop on ML
Sunday, September 21, 2008
Victoria, British Columbia, Canada
To be held in conjunction with ICFP 2008
Submission deadline: Monday, June 23, 2008
Notification of acceptance: Friday, July 18, 2008
Final revision due: Monday, July 28, 2008
Workshop: Sunday, September 21, 2008
GOALS OF THE WORKSHOP:
ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#. The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical. This workshop aims to build on
previous occasions (recent instances are ML 2005 in Tallinn, Estonia,
2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a
forum to encourage discussion and research on ML and related
The 2008 Workshop on ML will be held in conjunction with the 13th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2008)
in Victoria, British Columbia, Canada on Sunday, September 21, 2008.
This year we extend the scope of the workshop from ML itself to
technologies closely related to ML (higher-order, typed, or strict
languages) and invite high-quality papers in all areas of crucial
importance for the future of ML.
We seek papers on topics related to ML, including (but not limited
* extensions: objects, classes, concurrency, distribution and
mobility, semi-structured data handling, etc.
* type systems (static and dynamic): inference, effects, overloading,
error reporting, contracts, specifications and assertions, etc.
* implementation: compilers, interpreters, partial evaluators,
garbage collectors, etc.
* environments: libraries, tools, editors, debuggers, cross-language
interoperability, functional data structures, etc.
Submitted papers should describe new ideas, experimental results,
ML-related projects, or informed positions regarding proposals for
next-generation ML languages. In order to encourage lively
discussion, submitted papers may describe work in progress. All
papers will be judged on a combination of correctness, significance,
novelty, clarity, and interest to the community.
All paper submissions must be at most 12 pages total length in the
standard ACM SIGPLAN two-column conference format (9pt):
Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.
The submission web site is now online. Visit
and follow the instructions.
Eijiro Sumii (Tohoku University)
Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France)
Karl Crary (Carnegie Mellon University)
Andrzej Filinski (DIKU)
Robby Findler (The University of Chicago)
Cormac Flanagan (University of California at Santa Cruz)
Alain Frisch (LexiFi)
Dan Grossman (University of Washington)
Didier Remy (INRIA Paris-Rocquencourt)
Claudio Russo (Microsoft Research Cambridge)
Eijiro Sumii (Tohoku University)
Hongwei Xi (Boston University)
More information about the MLton-user