A Modular Module System (1996)
by
Calcul Symbolique
,
Xavier Leroy
,
Xavier Leroy
,
Projet Cristal
| Venue: | Journal of Functional Programming |
BibTeX
@ARTICLE{Symbolique96amodular,
author = {Calcul Symbolique and Xavier Leroy and Xavier Leroy and Projet Cristal},
title = {A Modular Module System},
journal = {Journal of Functional Programming},
year = {1996},
volume = {10},
number = {10},
pages = {200--0}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
