The 1998 ACM SIGPLAN Workshop on ML

Mt. Washington Conference Center
08:00-18:00 September 26, 1998 - Baltimore, Maryland

To be held in conjunction with ICFP'98

The ML family of programming languages, whose dialects include Classic ML, Standard ML, Caml, and Objective Caml, has inspired a tremendous amount of language research, ranging from type inference to module systems to operational semantics to implementation. In large part ML typifies "HOT" (Higher-Order, Typed) language design and implementation.

Previous ML Workshops have been held in Edinburgh, Pittsburgh, San Francisco, and Orlando, and have covered topics ranging from applications written in ML, to ML implementation techniques, to language extensions. The 1998 Workshop will be held in conjunction with the ACM SIGPLAN International Conference on Functional Programming in Baltimore, Maryland. The goal of the Workshop is for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages.

An informal proceedings will be published as a Technical Report (to be distributed to Workshop participants) and electronically.

Technical Program



Program Chair:

Greg Morrisett
Department of Computer Science
Cornell University
Ithaca, NY 14853

Program Committee:

Questions and comments should be sent to