Proceedings of the 2005 ACM SIGPLAN Workshop on ML

This volume contains the proceedings of the 2005 ACM SIGPLAN Workshop on ML (ML 2005). The ML family of programming languages, whose dialects include Standard ML, Objective Caml, Alice ML, and nML, has inspired a tremendous amount of language research, ranging from type inference to module systems to operational semantics and implementation. Languages from the ML family have also been successfully applied in areas ranging from compilers and theorem provers to low-level system software, web applications and video games. The goal of the Workshops on ML is to provide a forum for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages. ML 2005 was the sixth workshop in the series and took place in Tallinn, Estonia on 29th September 2005, co-located with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005).