On Sun, 07 Jan 2001, Alain Frisch wrote:
> Is there any theoretical work about the integration of such a system to
> the OCaml module system ?  Any plan to include it in a future release ?

I'd surely appreciate the availability of this new module system in OCaml!

Just as a quick reminder: Moscow ML implements Claudio Russo's module
system with all of its nice features (higher-order and recursive modules;
first-class modules). Here the link:

  http://www.dina.dk/~sestoft/mosml.html

- Markus Mottl

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl