DMCA
A Modular Module System (1996)
Cached
Download Links
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.tufts.edu]
- [ftp.inria.fr]
- [www.disi.unige.it]
- [pauillac.inria.fr]
- DBLP
Other Repositories/Bibliography
by
Xavier Leroy
| Venue: | JOURNAL OF FUNCTIONAL PROGRAMMING |
| Citations: | 85 - 0 self |
BibTeX
@ARTICLE{Leroy96amodular,
author = {Xavier Leroy},
title = {A Modular Module System},
journal = {JOURNAL OF FUNCTIONAL PROGRAMMING},
year = {1996},
volume = {10},
number = {10},
pages = {200--0}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
