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 AsaiOchanomizu University
mlfamilyworkshop-2016-papers147452820000009:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers147452850000009:15 - 10:15
Talk
Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
mlfamilyworkshop-2016-papers
10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
mlfamilyworkshop-2016-papers147453330000010:35 - 11:00
Talk
Pre-print
mlfamilyworkshop-2016-papers147453480000011:00 - 11:25
Talk
Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
mlfamilyworkshop-2016-papers
11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier RémyINRIA
mlfamilyworkshop-2016-papers147453750000011:45 - 12:10
Talk
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
mlfamilyworkshop-2016-papers147453900000012:10 - 12:25
Talk
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
mlfamilyworkshop-2016-papers
14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2016-papers147454560000014:00 - 14:25
Talk
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers147454710000014:25 - 14:50
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers
15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John ReppyUniversity of Chicago
mlfamilyworkshop-2016-papers147455040000015:20 - 15:45
Talk
Pre-print
mlfamilyworkshop-2016-papers147455190000015:45 - 16:10
Talk
Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia
Pre-print
mlfamilyworkshop-2016-papers
16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
mlfamilyworkshop-2016-papers147455520000016:40 - 16:55
Talk
Pre-print
mlfamilyworkshop-2016-papers147455610000016:55 - 17:20
Talk
Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis
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.