ML 2006: Call for Participation - comp.lang.functional

Message from discussion ML 2006: Call for Participation

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

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

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