Thursday September 22, 2016, Nara, Japan
(immediately following ICFP and preceding OCaml Users and Developers Workshop)
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 share several fundamental traits, besides a good deal of syntax. They are higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems are derived from Hindley-Milner. The development of these languages has inspired a significant body of computer science research and influenced the design of many other programming languages, including Haskell, Scala and Clojure, Rust, ATS and many others.
ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognise the entire extended ML family and to provide a forum for presenting and discussing 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.
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
09:10 - 10:15
|Making Reactive Programs Function|
I: Neel Krishnaswami University of Birmingham, UK
10:35 - 11:25
|WebAssembly: high speed at low cost for everyone|
Andreas Rossberg GooglePre-print
|Extracting from F* to C: a progress report|
Jonathan Protzenko Microsoft Research, Karthikeyan Bhargavan INRIA, Jean-Karim Zinzindohoué INRIA, Abhishek Anand , Cédric Fournet Microsoft Research, Bryan Parno , Aseem Rastogi Microsoft Research India, Nikhil Swamy Microsoft ResearchPre-print
11:45 - 12:25
|Compiling with Continuations and LLVM|
|SML# with Natural Join|
Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, JapanPre-print
14:00 - 14:50
|Eff Directly in OCaml|
|Compiling Links Effect Handlers to the OCaml Backend|
Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of CambridgePre-print
15:20 - 16:10
|Classes for the Masses|
Claudio Russo Microsoft Research, Matthew Windsor , Don Syme Microsoft, Rupert Horlick , James ClarkePre-print
|Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML|
16:40 - 17:35
|Ambiguous pattern variables|
|Typed Embedding of Relational Language in OCaml|
Call for Papers
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 (Friday 10th June, 2016). If you have a question concerning the scope of the workshop or the submission process, please contact the program chair.