We are happy to invite submissions to the ML 2024 workshop:
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Co-located with ICFP
Date: Friday, September 6, 2024
Location: Milan, Italy
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.
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 an be in-person event with remote participation (streamed live). Speakers are generally expected to present in person (we will work to make remote presentations possible).
- Deadline for talk proposals: Thursday, June 6, 2024 (AoE)
- Notification of acceptance: Saturday, July 6, 2024
- Workshop: Friday, September 6, 2024
Format
The ML 2024 workshop will continue the informal approach followed since 2010. Presentations are selected by the program committee from submitted proposals. There are no published proceedings, so contributions may be submitted for publication elsewhere. The main criterion is the promoting and informing the development of the entire extended ML family and delivering a lively workshop atmosphere. 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.
We seek presentations on topics including (but not limited to): language design, implementation, type systems, applications, environments, semantics. We specifically encourage reporting what did not meet expectations or what, despite all efforts, did not work to satisfaction. Four kinds of submissions are solicited: 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.)
See the full call for presentations for scope and submission instructions.