A modular module system
- 1 May 2000
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 10 (3) , 269-303
- https://doi.org/10.1017/s0956796800003683
Abstract
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on the Harper–Lillibridge–Leroy module system and its implementation, and as a constructive demonstration of the applicability of that module system to a wide range of programming languages.Keywords
This publication has 0 references indexed in Scilit: