Principles and a Preliminary Design for ML2000
Last modified: Fri Mar 17 17:34:36 2000 GMT.
AuthorsThe ML2000 Working Group
We describe the methodology and current features for ML2000, a new-generation design of ML. ML2000 adds a number of features to Standard ML and Caml, providing better support for extensibility and code reuse, while also fixing latent problems. Although none of the features is particularly novel on its own, the combination of features and design methodology are.
TextGzipped Postscript [33k]
Copyright © 1996-2017 The FLINT Group
<flint at cs dot yale dot edu>
Yale University Department of Computer Science