From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 13DD3D179 for ; Wed, 27 Jul 2005 08:01:22 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6R61LW0011273 for ; Wed, 27 Jul 2005 08:01:21 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA17392 for ; Wed, 27 Jul 2005 08:01:20 +0200 (MET DST) Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.71]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6R61JqZ011267 for ; Wed, 27 Jul 2005 08:01:20 +0200 Received: from mac.com (smtpin02-en2 [10.13.10.147]) by smtpout.mac.com (Xserve/8.12.11/smtpout14/MantshX 4.0) with ESMTP id j6R61I8D029099 for ; Tue, 26 Jul 2005 23:01:18 -0700 (PDT) Received: from [10.0.1.2] (khp222009231201.ppp-bb.dion.ne.jp [222.9.231.201]) (authenticated bits=0) by mac.com (Xserve/smtpin02/MantshX 4.0) with ESMTP id j6R61G1j018734 for ; Tue, 26 Jul 2005 23:01:17 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v733) Content-Type: text/plain; charset=WINDOWS-1252; delsp=yes; format=flowed Message-Id: <96BC83B4-CE20-4EFD-9218-F7D4EB96EEE7@mac.com> Reply-To: Matthias Blume Content-Transfer-Encoding: quoted-printable From: Matthias Blume Subject: Call for Participation: ML Workshop 2005 Date: Wed, 27 Jul 2005 15:01:15 +0900 To: caml-list@inria.fr X-Mailer: Apple Mail (2.733) X-Miltered: at concorde with ID 42E72331.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42E7232F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; matthias:01 blume:01 matthias:01 blume:01 sigplan:01 icfp:01 inference:01 semantics:01 compilers:01 low-level:01 ml-like:01 sigplan:01 icfp:01 blelloch:01 type-safe:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Call for Participation The 2005 ACM SIGPLAN Workshop on ML To be held in conjunction with ICFP 2005 September 29, 2005 Tallinn, Estonia http://www.tti-c.org/blume/ml05/index.html 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=92s 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 =20 Interpreter Norman Ramsey Practical Datatype Specializations with Phantom Types and =20 Recursion Schemes Matthew Fluet Riccardo Pucella Towards efficient, typed LR parsers Fran=E7ois Pottier and Yann R=E9gis-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=E2tre 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=E4t des Saarlandes Zhong Shao Yale University Eijiro Sumii Tohoku University Stephen Weeks Kwangkeun Yi Seoul National University