Alcool-90

An object-oriented extension of ML[2] with runtime overloading and a type-based notion of modules, functors and inheritance. Built on CAML Light.