Alcool-90 (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.
ftp://ftp.inria.fr/lang/alcool. E-mail: <[email protected]>. Last updated: 1995-04-18
