* The 2006 ACM SIGPLAN Workshop on ML: Call for Participation
@ 2006-08-11 13:39 Francois Pottier
0 siblings, 0 replies; only message in thread
From: Francois Pottier @ 2006-08-11 13:39 UTC (permalink / raw)
To: types-announce, Caml Mailing List, smlnj-dev-list, MLton-user, haskell
*********************************************************************
* 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)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-08-11 13:39 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-08-11 13:39 The 2006 ACM SIGPLAN Workshop on ML: Call for Participation Francois Pottier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).