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.

Thu 22 Sep

mlfamilyworkshop-2016-papers
09:10 - 10:15: ML - Invited Talk at Conference Room 1
Chair(s): Kenichi Asai
mlfamilyworkshop-2016-papers147452820000009:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers147452850000009:15 - 10:15
Talk
mlfamilyworkshop-2016-papers
10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro Ueno
mlfamilyworkshop-2016-papers147453330000010:35 - 11:00
Talk
Pre-print
mlfamilyworkshop-2016-papers147453480000011:00 - 11:25
Talk
Pre-print
mlfamilyworkshop-2016-papers
11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier Rémy
mlfamilyworkshop-2016-papers147453750000011:45 - 12:10
Talk
Pre-print
mlfamilyworkshop-2016-papers147453900000012:10 - 12:25
Talk
Pre-print
mlfamilyworkshop-2016-papers
14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam Lindley
mlfamilyworkshop-2016-papers147454560000014:00 - 14:25
Talk
Pre-print
mlfamilyworkshop-2016-papers147454710000014:25 - 14:50
Talk
Pre-print
mlfamilyworkshop-2016-papers
15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John Reppy
mlfamilyworkshop-2016-papers147455040000015:20 - 15:45
Talk
Pre-print
mlfamilyworkshop-2016-papers147455190000015:45 - 16:10
Talk
Pre-print
mlfamilyworkshop-2016-papers
16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi Asai
mlfamilyworkshop-2016-papers147455520000016:40 - 16:55
Talk
Pre-print
mlfamilyworkshop-2016-papers147455610000016:55 - 17:20
Talk
Pre-print
mlfamilyworkshop-2016-papers147455760000017:20 - 17:35
Talk
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.