ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
We are happy to invite submissions to the ML'23 workshop, co-located with ICFP.
Date: September 8, 2023 (Friday)
Location: Seattle, WA, USA
ML (originally, “Meta Language”) is a family of programming languages that includes dialects known as Standard ML, OCaml, and F#, among others. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. ML has been a source of inspiration for Rust (among many others), and presentations related to Rust falling within the scope of the workshop interest us.
The ML Family Workshop is an established informal workshop aiming to recognize the entire extended ML family and to provide the forum to present and discuss common issues: 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 Haskell, Scala, Rust, Nemerle, Links, Koka, F*, Eff, ATS, etc), to promote the exchange of ideas and experience. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop.
We plan the workshop to be an in-person event with remote participation (streamed live). Speakers are generally expected to present in person (we will work to make remote presentations possible).
We solicit proposals for contributed talks, in PDF format, with a short summary at the beginning and the indication of the submission category: Research Presentations, Experience Reports, Demos, and Informed Positions. The point of the submission should be clear from its first two pages (PC members are not obligated to read any further.) We particularly encourage talks about works in progress, presentations of negative results (things that were expected to but did not quite work out) and informed positions.
See the full call for presentations for submission instructions.
- Deadline for talk proposals: Thursday, June 1, 2023
- Notification of acceptance: Thursday, July 6, 2023
- Workshop: Friday, September 8, 2023
Program Committee
- Lars Bergstrom, Google, USA
- Martin Elsman, University of Copenhagen, Denmark
- Matthew Fluet, Rochester Institute of Technology, USA
- Jacques Garrigue, Nagoya University, Japan
- Oleg Kiselyov, Tohoku University, Japan (Chair)
- Julia Lawall, Inria Paris, France
- Andrey Mokhov, Jane Street, UK
- Benoît Montagu, Inria Rennes, France
- Guillaume Munch-Maccagnoni, Inria Rennes, France
- Matija Pretnar, University of Ljubljana, Slovenia
- Andreas Rossberg, Germany
- Gabriel Scherer, Inria Saclay, France