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 | DOI | Local copy | At publisher's site ] Back
This file was generated by bibtex2html 1.99.