Xavier Leroy. A modular module system. Journal of Functional Programming, 10(3):269-303, 2000.

A simple implementation of a SML-like module system is presented as a module parameterized by a base language and its type-checker. This demonstrates constructively the applicability of that module system to a wide range of programming languages. Full source code available in the Web appendix http://gallium.inria.fr/~xleroy/publi/modular-modules-appendix/

bib | Local copy | At publisher's ] Back

This file was generated by bibtex2html 1.97.