ML 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
All Editions
Mon 2 - Sat 7 September 2024 Milan, Italy

ML 2024 with ICFP 2024

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. ...

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 with ICFP 2023

New The individual talk vides are now publicly available on YouTube: https://www.youtube.com/playlist?list=PLyrlk8Xaylp5Q8i5apsAnZ5nvz1pBWzR9 ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits ...

Thu 15 Sep 2022 Ljubljana, Slovenia

ML 2022 with ICFP 2022

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The d ...

Sun 22 - Fri 27 August 2021

ML 2021 with ICFP 2021

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The d ...

Sun 23 - Fri 28 August 2020

ML 2020 with ICFP 2020

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The d ...

Sun 18 - Fri 23 August 2019 Berlin, Germany

ML 2019 with ICFP 2019

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The d ...

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