The 2007 ACM SIGPLAN Workshop on ML
To be held in conjunction with ICFP'07
on Friday, October 5, 2007, in
The ML family of programming languages, whose most popular dialects
are Standard ML and Objective Caml, has inspired a tremendous amount
of computer science research, both practical and theoretical. ML
continues to be employed successfully in applications ranging from
compilers and theorem provers to low-level systems software, web
applications and video games. The Workshop on ML aims to bring
together researchers, developers and users of ML to hear about and
discuss the latest work on the design, semantics, implementation and
application of ML and ML-like languages. Previous ML workshops have
been held in Orlando, Florida (1994), Baltimore, Maryland (1998), Tallinn, Estonia
(2005), and Portland,
The 2007 Workshop on ML will be held in conjunction with the 12th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2007)
in Freiburg, Germany on Friday, October 5, 2007.
- The workshop is now over. Links to slides are available from the final program.
A big thanks to everyone who contributed - see you all at the next ML workshop!
- Didier Rémy will kindly give the invited talk: MLF for Everyone (Users, Implementers, and Designers)
- Accepted papers and preliminary program available!
- Submission site closed!
The site will remain online but no longer accepts new submissions.
Thank you for all your papers and for helping to make this year's workshop a success!
- Extended Submission Deadline!
In response to requests from several authors, the deadline for the
2007 ML Workshop will be extended over the weekend. Submissions will be accepted until 6 PM Samoan time on Sunday, June 17. However, so that we know how many papers to expect, PLEASE submit at least a stub document to the submission website by Friday, June 15. You can then resubmit a revised document over the weekend.
After 6 PM Samoan time on Sunday, June 17, the submission site will be closed. If you want more time than that to polish your submission, you will need to contact the program chair to ask permission.
The submission website is now online.
The call for papers is now available.
The submission deadline is Friday, June 15, 2007.
Last modified: Wed October 24, 2007