The 2006 ACM SIGPLAN Workshop on ML

Colocated with the 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006), Portland, Oregon, September 2006.

Aims of the Workshop

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 build on the success of the 2005 ACM SIGPLAN Workshop on ML that was held in Tallinn, Estonia, providing a forum for discussion and research on existing and future ML and ML-like languages.

The 2006 Workshop will be held in conjunction with the ACM SIGPLAN International Conference on Functional Programming (ICFP) in Portland, Oregon, on Saturday 16th September 2006.

Program

Here is a list of the accepted papers, and here is the workshop program.

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)

Last updated 7th August 2006.