Modular Module System

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