Google Groups Home Help | Sign in
Message from discussion ML 2006: Call for Participation
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Francois Pottier  
View profile
 More options Aug 11 2006, 8:12 pm
Newsgroups: comp.lang.functional, comp.lang.ml, comp.lang.scheme
From: Francois Pottier <Francois.Pott...@inria.fr>
Date: Sat, 12 Aug 2006 00:12:14 +0000 (UTC)
Local: Fri, Aug 11 2006 8:12 pm
Subject: ML 2006: Call for Participation
*********************************************************************
*               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 Fillitre 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 Fillitre

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
ak...@microsoft.com

Francois Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex
FRANCE
francois.pott...@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)
Francois Pottier (INRIA Rocquencourt, co-chair)
Ian Stark (University of Edinburgh)
Alley Stoughton (Kansas State University)
Jerome Vouillon (CNRS and Universite Paris 7)
Stephanie Weirich (University of Pennsylvania)


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google