XavierLeroy's paper ''"A Modular Module System"'' presents a simple implementation of an SmlLanguage-like ModuleSystem in ObjectiveCaml. It is available from http://cristal.inria.fr/~xleroy/leroy.html

----

CategoryPaper