The 2005 ACM SIGPLAN Workshop on ML

To be held in conjunction with ICFP'05 on Thursday, September 29, 2005, in Tallinn, Estonia.

Programme

Accepted Papers
Original Call for Papers

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 in Tallinn, Estonia. The goal of the Workshop is for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages.


Important Dates

For Authors:
For Participants:

Registration, hotels, travel, etc.

Information about registration, accommodation, fees, travel, and more can be found at the TFP/ICFP/GPCE Local Information web site.

Instructions for Authors

Submissions should be prepared using LaTeX style files and macros available at the ENTCS Macro Home Page. You should follow the instructions on that page by downloading a copy of the generic ENTCS Macro Package linked near the top of the page, and also a copy of the file prentcsmacro.sty that is linked in the listing for the ML workshop in the Table at the bottom of the page. You should use the file example.tex as a template for your paper. Be sure to include key words in the environment provided in the frontmatter section.

Invited Speaker:

Organizers:

Program Chairs:

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
Université Paris Sud
Robert Harper
Carnegie Mellon University
Xavier Leroy (co-chair)
INRIA
Chris Okasaki
United States Military Academy
John Reppy
University of Chicago
Andreas Rossberg
Universität des Saarlandes, Saarbrücken
Zhong Shao
Yale University
Eijiro Sumii
Tohoku University
Stephen Weeks
Kwangkeun Yi
Seoul National University

Last modified: July 6th, 2005