ML 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
Conference Editions
Sun 23 - Sat 29 September 2018, St. Louis, Missouri, United States

ML 2018 with ICFP 2018

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 Hindley-Milner. The development ...

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