[MLton-user] The 2006 ACM SIGPLAN Workshop on ML: Call for
Participation
Francois Pottier
Francois.Pottier at inria.fr
Fri Aug 11 06:39:28 PDT 2006
*********************************************************************
* 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 at microsoft.com
François Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex
FRANCE
francois.pottier at 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)
More information about the MLton-user
mailing list