ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others.
ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas.
The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop.
In addition, the following paper accepted at the OCaml workshop will be presented at the ML Family workshop
The following submissions are accepted as posters for the joint session at the OCaml workshop
Since 2010, the ML workshop has adopted an informal model. Presentations are 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. The presentations will likely be recorded.
The post-proceedings of selected papers from the ML Family and the OCaml Users and Developers workshops will be published in the Electronic Proceedings in Theoretical Computer Science. The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the EPTCS standards.
The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs.
We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to
Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos.
Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program.
Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014).
For any question concerning the scope of the workshop or the submission process, please contact the program chair.
|Kenichi Asai||Ochanomizu University, Japan|
|Matthew Fluet||Rochester Institute of Technology, USA|
|Jacques Garrigue||Nagoya University, Japan|
|Dave Herman||Mozilla, USA|
|Stefan Holdermans||Vector Fabrics, Netherlands|
|Oleg Kiselyov (Chair)||University of Tsukuba, Japan|
|Keiko Nakata||Institute of Cybernetics, Estonia|
|Didier Rémy||INRIA Paris-Rocquencourt, France|
|Zhong Shao||Yale University, USA|
|Hongwei Xi||Boston University, USA|
|Alain Frisch||LexiFi, France|
|Oleg Kiselyov||University of Tsukuba, Japan|
|Daan Leijn||Microsoft Research, Redmond, USA|
|Anil Madhavapeddy||Cambridge University, UK|
|Greg Morrisett||Harvard University, USA|
|Chung-chieh Shan (Chair)||Indiana University, USA|