Alcool-90 - An object-oriented extension of ML with runtime overloading and
a type-based notion of modules, functors and inheritance. Built on CAML
Light.
ftp://ftp.inria.fr/INRIA/lang/alcool/*
info: Francois Rouaix
Comments, Experience, Additions
Next Language: ALCOR