ML 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
Conference Editions
Sun 18 - Fri 23 August 2019, Berlin, Germany

ML 2019 with ICFP 2019

This page will soon grow in content and contain information about the scope of this research track.

Sun 23 - Sat 29 September 2018, St. Louis, Missouri, United States

ML 2018 with ICFP 2018

Videos are available online. ML is a family of programming languages that includes Standard ML, OCaml, F#, CakeML, 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 Hi ...

Thu 7 Sep 2017, Oxford, United Kingdom

ML 2017 with ICFP 2017

ML is a family of programming languages that includes Standard ML, OCaml, F#, Alice ML, Dependent ML, Flow Caml, JoCaml, Manticore, MetaOCaml, SML#, 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 ...

Sun 18 - Sat 24 September 2016, Nara, Japan

ML 2016 with ICFP 2016

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 langu ...