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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15: Invited TalkML at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
09:10 - 09:15
Day opening
Welcome
ML
09:15 - 10:15
Talk
Making Reactive Programs Function
ML
I: Neel KrishnaswamiUniversity of Birmingham, UK
10:35 - 11:25: WebML at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
10:35 - 11:00
Talk
WebAssembly: high speed at low cost for everyone
ML
Pre-print
11:00 - 11:25
Talk
Extracting from F* to C: a progress report
ML
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
11:45 - 12:25: ImplementationML at Conference Room 1
Chair(s): Didier RémyINRIA
11:45 - 12:10
Talk
Compiling with Continuations and LLVM
ML
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
12:10 - 12:25
Talk
SML# with Natural Join
ML
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
14:00 - 14:50: EffectsML at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
14:00 - 14:25
Talk
Eff Directly in OCaml
ML
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:25 - 14:50
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print
15:20 - 16:10: ClassesML at Conference Room 1
Chair(s): John ReppyUniversity of Chicago
15:20 - 15:45
Talk
Classes for the Masses
ML
Pre-print
15:45 - 16:10
Talk
Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML
ML
Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia
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.