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.
Program
Click on a title to see the corresponding synopsis.
Statistics
- Number of submissions: 16.
- Number of accepted submissions: 11 (1 has been retracted).
- Number of registered participants: 103 (some of them were also registered to another event on the same day).
Format
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) |
Resources
- Past ML workshops.
- Call For Presentations (plain text version).
- Call For Participation (plain text version).