Eijiro Sumii, editor, Proceedings of the ACM SIGPLAN Workshop on ML. ML'08, Association for Computing Machinery, New York, NY, USA, 2008. [doi]
Conference: ml
It is our great pleasure to welcome you to ML 2008 - the 2008 ACM SIGPLAN Workshop on ML. ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to build on previous occasions (recent instances are ML 2005 in Tallinn, Estonia; 2006 in Portland, Oregon; and 2007 in Freiburg, Germany), providing a forum to encourage discussion and research on ML and related technology. The 2008 Workshop on ML is held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008.In response to the call for papers, we received 13 submissions. Each paper was reviewed by at least 3 program committee members or external reviewers. After a 5-day electronic discussion, the program committee selected 9 papers for presentation at the workshop.We are also fortunate to have an invited talk from Andrew Kennedy, researcher in Programming Principles and Tools Group, Microsoft Research Cambridge, about his recent work on types for units of measure in F#.