ACM SIGPLAN Workshop on ML
Thursday, September 13, 2012, Copenhagen, Denmark (co-located with ICFP)

The ML family of programming languages includes dialects known as Standard ML, OCaml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum where users, developers and researchers of ML languages and related technology can interact and discuss ongoing research, open problems and innovative applications.


Click on a title to see the corresponding synopsis.

9:00 - 9:05 Welcome
9:05 - 9:50 A Tale of Two Beasts : a Coq powered by a Caml (Invited talk) (Slides) (Video)
9:50 - 10:10 Break
10:10 - 10:40 OCaml-Java: OCaml on the JVM (Full abstract) (Slides) (Video)
Xavier Clerc
10:40 - 10:55 MoCHi: Software Model Checker for a Higher-Order Functional Language (Demo) (Slides) (Video)
Ryosuke Sato, Hiroshi Unno and Naoki Kobayashi
10:55 - 11:10 Break
11:10 - 11:40 Tracing ambiguity in GADT type inference (Full abstract) (Slides) (Video)
Jacques Garrigue and Didier Remy
11:40 - 12:10 GADT meet subtyping (Full abstract) (Slides) (Video)
Gabriel Scherer and Didier Remy
12:10 - 12:25 Demo of CeX3D Inverse and Standard ML Technology (Demo) (Slides) (Video)
Anoq Of The Sun
12:25 - 13:45 Lunch
13:45 - 14:15 Information-rich programming in F# (Tutorial) (Slides) (Video)
Tomas Petricek
14:15 - 14:40 On Implementing the Forlan Formal Language Theory Toolset in Standard ML (Experience report) (Full abstract) (Slides) (Video)
Alley Stoughton
14:40 - 15:10 Status Report: The Manticore Project (Full abstract) (Slides) (Video)
Lars Bergstrom, Carsen Berger, John Reppy, Stephen Rosen, Nora Sandler, Adam Shaw, Matthew Fluet and Mike Rainey
15:10 - 15:25 Break
15:25 - 15:55 Programming with permissions: the Mezzo language (Full abstract) (Slides) (Video)
Jonathan Protzenko and Francois Pottier
15:55 - 16:25 F-ing applicative functors (Full abstract) (Slides) (Video)
Andreas Rossberg, Claudio Russo and Derek Dreyer
16:25 - 16:40 Break
16:40 - 17:10 Handling Overflow in MLton (Full abstract) (Slides) (Video)
Alexander Bjerremand Hansen and Jan Midtgaard
17:10 - 18:00 Panel session: syntactic meta-programming for ML (Video)
Tomas Petricek (slides), Nicolas Pouillard (slides), Jeremy Yallop (slides), Hongbo Zhang (slides), Michel Mauny (moderator)



The format of ML 2012 will continue the return in 2010 and 2011 to a more informal model: a workshop with presentations selected from submitted abstracts. The workshop will not publish proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere.

Program Committee

Alain Frisch (chair) (LexiFi)
Anders Schack-Nielsen (SimCorp)
Cedric Fournet (Microsoft Research)
Francois Pottier (INRIA)
Gian Ntzik (Imperial College)
Jeremy Yallop
Keiko Nakata (Institute of Cybernetics, Tallinn)
Matthias Blume (Google)
Oleg Kiselyov
Stephen Weeks (Jane Street Capital)
Tomas Petricek (University of Cambridge)

Steering Committee

Matthew Fluet (Rochester Institute of Technology)
Alain Frisch (LexiFi)
Jacques Garrigue (Nagoya University)
Yaron Minsky (Jane Street)
Greg Morrisett (Harvard University)
Andreas Rossberg (chair) (Google)
Chung-chieh Shan (Cornell University)