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]>. (1995-04-18)