Alcool-90

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: <Francois.Rouaix@inria.fr>.