Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop

http://www.mlworkshop.org/ml2016

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.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15
Invited TalkML at Conference Room 1
Chair(s): Kenichi Asai Ochanomizu University
09:10
5m
Day opening
Welcome
ML

09:15
60m
Talk
Making Reactive Programs Function
ML
I: Neel Krishnaswami University of Birmingham, UK
10:35 - 11:25
WebML at Conference Room 1
Chair(s): Katsuhiro Ueno Tohoku University, Japan
10:35
25m
Talk
WebAssembly: high speed at low cost for everyone
ML
Pre-print
11:00
25m
Talk
Extracting from F* to C: a progress report
ML
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 Research
Pre-print
11:45 - 12:25
ImplementationML at Conference Room 1
Chair(s): Didier Rémy INRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon Farvardin University of Chicago, John Reppy University of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan
Pre-print
14:00 - 14:50
EffectsML at Conference Room 1
Chair(s): Sam Lindley University of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg Kiselyov Tohoku University, KC Sivaramakrishnan University of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of Cambridge
Pre-print

Submissions

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.