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: by yquem.inria.fr (Postfix, from userid 18965) id CDBDCBC29; Fri, 11 Aug 2006 15:39:28 +0200 (CEST) Date: Fri, 11 Aug 2006 15:39:28 +0200 From: Francois Pottier To: types-announce@lists.seas.upenn.edu, Caml Mailing List , smlnj-dev-list@lists.sourceforge.net, MLton-user@mlton.org, haskell@haskell.org Subject: The 2006 ACM SIGPLAN Workshop on ML: Call for Participation Message-ID: <20060811133928.GA7359@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; sigplan:01 sigplan:01 colocated:01 icfp:01 compilation:01 mlton:01 type-safe:01 modular:01 hash-consing:01 filliatre:01 type-safe:01 ocaml:01 shinwell:01 weirich:01 compilation:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=ALL_TRUSTED autolearn=disabled version=3.0.3 ********************************************************************* * The 2006 ACM SIGPLAN Workshop on ML * * * * September 16, 2006 * * * * Colocated with the 11th ACM SIGPLAN * * International Conference on Functional Programming (ICFP 2006), * * Portland, Oregon. * * * * Call for Participation * * * * http://gallium.inria.fr/ml2006/ * ********************************************************************* Programme 9:30-10:30: chaired by Andrew Kennedy Welcome Invited talk: Whole-Program Compilation for MLton Stephen Weeks 10:30-11:00 Break 11:00-12:30: chaired by Derek Dreyer ML Grid Programming with ConCert Tom Murphy VII Type-Safe Modular Hash-Consing Jean-Christophe Filliâtre and Sylvain Conchon Type-Safe Distributed Programming for OCaml John Billings, Peter Sewell, Mark Shinwell and Rok Strnisa 12:30-14:30 Lunch 14:30-16:00: chaired by Stephanie Weirich A Separate Compilation Extension to Standard ML David Swasey, Tom Murphy VII, Karl Crary and Robert Harper Leveraging .NET Meta-Programming Components in F# Don Syme Backtracking Iterators Jean-Christophe Filliâtre 16:00-16:30 Break 16:30-18:00: chaired by Matthew Fluet SEMINAL: Searching for ML Type-Error Messages Benjamin Lerner, Dan Grossman and Craig Chambers Type-Sensitive control-flow analysis John Reppy Ocsigen: Typing interaction with Objective Caml Vincent Balat Scope The ML family of programming languages, whose most popular variants are SML and OCaml, has inspired a tremendous amount of computer science research, both practical and theoretical, and ML continues to underpin a variety of applications, ranging from compilers and theorem provers to low-level system software. This workshop aims to provide a forum for discussion and research on existing and future ML and ML-like languages. Proceedings will be published by ACM Press and will appear in the ACM Digital Library. General Chairs and Program Chairs Andrew Kennedy Microsoft Research Ltd, 7 JJ Thomson Ave, Cambridge CB3 0FB, UK akenn@microsoft.com François Pottier INRIA Rocquencourt BP 105 78153 Le Chesnay Cedex FRANCE francois.pottier@inria.fr Programme Committee Derek Dreyer (Toyota Technological Institute at Chicago) Matthew Fluet (Cornell University) John Harrison (Intel Corporation) Haruo Hosoya (University of Tokyo) Andrew Kennedy (Microsoft Research Cambridge, co-chair) Eugenio Moggi (Università di Genova) Michael Norrish (National ICT Australia) François Pottier (INRIA Rocquencourt, co-chair) Ian Stark (University of Edinburgh) Alley Stoughton (Kansas State University) Jérôme Vouillon (CNRS and Université Paris 7) Stephanie Weirich (University of Pennsylvania)