Abstract

It is our great pleasure to welcome you to the 2006 ACM SIGPLAN Workshop on ML. The ML family of programming languages, whose most popular variants are SML and OCaml, has inspired a tremendous amount of computer science research, both practical and theoretical, and ML continues to underpin a variety of applications, ranging from compilers and theorem provers to low-level system software.The call for papers attracted 17 submissions. Each paper was evaluated by at least three international referees. During a five-day electronic meeting, the program committee selected nine submissions for presentation at the workshop.We are also fortunate to have an invited talk from Stephen Weeks, lead developer of MLton, the whole-program optimizing compiler for Standard ML. An abstract of his talk is included in these proceedings.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.