What: Alcool-90 Release 0.40.3 From: rouaix@inria.fr (Francois Rouaix) Date: 18 May 92 09:36:22 GMT
Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance.
New constructs have been added: * Overloaded symbols (overload). * Local definition of abstract values (overload in). * Implementations and parametric functors (pack to). * Extension functors (overload with). * Class-based Dynamics (dynamic).
This version of Alcool is based on the CAML Light implementation (release 0.4) of the ML language, but this release is autonomous.
Alcool-90 is available by anonymous FTP from ftp.inria.fr:
host: ftp.inria.fr (128.93.1.26) directory: lang/alcool files: README Copyright information. alcool270492.tar.Z Sources for Un*x machines (Apr 27 1992 Release). alcooldoc.dvi.tar.Z DVI for the Alcool-90 report draft.
For questions, comments, bug reports, please e-mail to Francois.Rouaix@inria.fr
This document was translated by ms2html v1.8 on 04.06.96.