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