2018

28 September 2018, Saint Louis (MO), USA(Colocated with ICFP and the OCaml Users and Developers Workshop)

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 of these languages has inspired a significant body of
computer science research and influenced the design of many other
programming languages, including Haskell, Rust, and Scala.

ML workshops have been held in affiliation with ICFP continuously
since 2005. This workshop specifically aims to recognise the entire
extended ML family and to provide a forum for presenting and
discussing common issues, both practical (compilation techniques,
implementations of concurrency and parallelism, programming for the
Web) and theoretical (fancy types, module systems,
metaprogramming). The scope of the workshop includes all aspects of
the design, semantics, theory, application, implementation, and
teaching of the members of the ML family. We also encourage
presentations from related languages (such as ATS, Eff, F*, Koka,
Links, Rust, Scala, Swift, etc.), to exchange experience of further
developing ML ideas.

We expect research presentations of original and novel work, but
emphasize that rigorous descriptions do not prevent preliminary or
surprising work: we hope to encourage exciting (if unpolished)
research and deliver a lively workshop atmosphere.

The ML family workshop will be held in close coordination with the
OCaml Users and Developers Workshop.

If you have any question about the workshop, submission or
participation, feel free to send them by email to the program chair,
Gabriel Scherer gabriel.scherer@gmail.com.