[TYPES] Call for Participation: ML Workshop 2005

Matthias Blume matthias_blume at mac.com
Wed Jul 27 01:54:58 EDT 2005

                  Call for Participation

            The 2005 ACM SIGPLAN Workshop on ML

           To be held in conjunction with ICFP 2005
                     September 29, 2005
                      Tallinn, Estonia


Early registration deadline: July 29, 2005
Late registration deadline:  September 2, 2005


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,


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

More information about the Types-list mailing list