ACM SIGPLAN Workshop on ML
Sunday September 22, 2013, Boston, Massachusetts (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.


10:30 - 11:00 Coffee
11:00 - 11:05 Welcome
11:05 - 12:00 The future of ML (Invited talk)
12:00 - 12:30 Rx-CML: Migrating MultiMLton to the Cloud
12:30 - 14:00 Lunch Break
14:00 - 14:30 MetaOCaml Lives On: Lessons from implementing a staged dialect of a functional language
14:30 - 15:00 A Fix for Dynamic Scope
15:00 - 15:30 Multi-Entry Functions for MLton
15:30 - 16:00 Coffee Break
16:00 - 16:30 Two Roads To Javascript
16:30 - 17:30 CakeML: A verification friendly dialect of ML (Invited talk and demo) (Abstract)


Please register through ICFP's registration website.

Important dates

Submission (closed)

Download a text version of the Call For Presentations.

Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Submissions longer than half a page should include a one-paragraph synopsis suitable for inclusion in the workshop program.

Submissions must be uploaded to the workshop submission website before the submission deadline (Friday June 21, 2013). For any question concerning the scope of the workshop or the submission process, please contact the program chair.


The ML workshop has adopted an informal model since 2010. It is a workshop with presentations selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere.

Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions.


We seek research presentations on topics related to ML, including but not limited to

Three kinds of submissions will be accepted: Research Presentations, Experience Reports and Demos.

Program Committee

Daan Leijen (chair)(Microsoft Research, US)
Jesse A. Tov (Harvard University, US)
Derek Dreyer (MPI-SWS, Germany)
Atsushi Ohori (Univ. of Tohoku, Japan)
Lars Bergstrom (Univ. of Chicago, US)
Jean Yang (MIT CSAIL, US)
Gavin Bierman (Microsoft Research, Cambridge, UK)
Tomas Petricek (Univ. of Cambridge, UK)
Yukiyoshi Kameyama (Univ. of Tsukuba, Japan)
Peter Thiemann (Univ. of Freiburg, Germany)

Steering Committee

Matthew Fluet (chair) (Rochester Institute of Technology)
Alain Frisch (LexiFi)
Jacques Garrigue (Nagoya University)
Yaron Minsky (Jane Street)
Greg Morrisett (Harvard University)
Chung-chieh Shan (Indiana University)
Anil Madhavapeddy (Cambridge University)
Daan Leijen (Microsoft Research)