Early registration deadline: July 29, 2005 Late registration deadline: September 2, 2005
Synopsis:
The ML family of programming languages, whose dialects include Standard ML, Objective Caml, Alice ML and nML, has inspired a tremendous amount of language research, ranging from type inference to module systems to operational semantics and implementation. Languages from the ML family have alse been successfully applied in areas ranging from compilers and theorem provers to low-level system software, web applications and video games. The goal of the Workshop is to provide a forum for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages. Previous ML Workshops have been held in Edinburgh, Pittsburgh, San Francisco, Orlando and Baltimore.
The 2005 Workshop will be held in conjunction with the ACM SIGPLAN International Conference on Functional Programming (ICFP) in Tallinn, Estonia.
Programme:
A Library for Self-Adjusting Computation Umut A. Acar, Guy Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan A Type-Safe Embedding of XDuce into ML Kenny Zhuo Ming Lu and Martin Sulzmann An Applicative Control-Flow Graph Based on Huet's Zipper Norman Ramsey and Joao Dias An overview of alphaCaml Francois Pottier Fresh O'Caml: nominal abstract syntax for the masses Mark R. Shinwell Generic Pickling and Minimization Guido Tack, Leif Kornstaedt, Gert Smolka Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Norman Ramsey Practical Datatype Specializations with Phantom Types and Recursion Schemes Matthew Fluet Riccardo Pucella Towards efficient, typed LR parsers Fran�ois Pottier and Yann R�gis-Gianas
General Chair:
Matthias Blume Toyota Technological Institute at Chicago
Program Chairs:
Nick Benton Microsoft Research Limited
Xavier Leroy INRIA Rocquencourt
Invited Speaker:
Greg Morrisett Harvard University
Program Committee:
Nick Benton (co-chair) Microsoft Research Matthias Blume Toyota Technological Institute at Chicago Martin Elsman IT University of Copenhagen Jean-Christophe Filli�tre CNRS, University Paris Sud Robert Harper Carnegie Mellon University Xavier Leroy (co-chair) INRIA Rocquencourt Chris Okasaki United States Military Academy John Reppy University of Chicago Andreas Rossberg Universit�t des Saarlandes Zhong Shao Yale University Eijiro Sumii Tohoku University Stephen Weeks Kwangkeun Yi Seoul National University