Thursday, September 13, 2012, Copenhagen,
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.
- 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).
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.
|Alain Frisch (chair)||(LexiFi)|
|Cedric Fournet||(Microsoft Research)|
|Gian Ntzik||(Imperial College)|
|Keiko Nakata||(Institute of Cybernetics, Tallinn)|
|Stephen Weeks||(Jane Street Capital)|
|Tomas Petricek||(University of Cambridge)|
|Matthew Fluet||(Rochester Institute of Technology)|
|Jacques Garrigue||(Nagoya University)|
|Yaron Minsky||(Jane Street)|
|Greg Morrisett||(Harvard University)|
|Andreas Rossberg (chair)||(Google)|
|Chung-chieh Shan||(Cornell University)|