ML
Sun 18 - Fri 23 August 2019, Berlin, GermanyML 2019 with ICFP 2019This 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 StatesML 2018 with ICFP 2018Videos 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 KingdomML 2017 with ICFP 2017ML 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, JapanML 2016 with ICFP 2016Higher-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 ... |