ML
Sun 12 - Sat 18 October 2025 SingaporeML Family Workshop 2025 with ICFP/SPLASH 2025ML 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, MaPLe, 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- ... |
Mon 2 - Sat 7 September 2024 Milan, ItalyML 2024 with ICFP 2024Note: submission deadline extended until 14th of June. 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 ... |
Mon 4 - Sat 9 September 2023 Seattle, Washington, United StatesHigher-order, Typed, Inferred, Strict: ML Family Workshop 2023 with ICFP 2023New 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, SloveniaML 2022 with ICFP 2022ML 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 2021ML 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 2020ML 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, GermanyML 2019 with ICFP 2019ML 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 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 Hin ... |
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 languages ... |