(language) An object-oriented extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance. It is built on CAML Light.
Last updated: 1995-04-18
Updated: Tue Dec 6 14:50:17 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985