Washington Conference Center
08:00-18:00 September 26, 1998 - Baltimore, Maryland
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.
ML and the Address Operator. M. Sperber and P. Thiemann
Views for Standard ML. C. Okasaki.
How to Add Laziness to a Strict Language without Even Being Odd. P. Wadler, W. Taha, and D. MacQueen.
Parallel Functional Programming with Skeletons: The OCAMLP3L Experiment. M. Danelutto, R. Di Cosmo, X. Leroy, and S. Pelagatti.
Programming with Polymorphic Variants. J. Garrigue.
Correct Type Explanation. D. Duggan.
OCamlDOOM: ML for 3D Action Games. F. Pessaux.
The SwitchWare Active Network Implementation. D.S. Alexander, M. W. Hicks, P. Kakkar, A. D. Keromytis, M. Shaw, J. T. Moore, C. A. Gunter, T. Jim, S. M. Nettles, J. Smith.
Fast Mergeable Integer Maps. C. Okasaki and A. Gill.
Parameterized Modules, Recursive Modules and Mixin Modules. D. Duggan and C. Sourelis.
An Application Using Higher-Order Polymorphic Functors. F. Barthelemy.
Assessing the Overhead of ML Exceptions by Selective CPS Transformation J. Kim, K. Yi, and O. Danvy.
Department of Computer Science
Ithaca, NY 14853
Questions and comments should be sent to firstname.lastname@example.org.