A Modular Module System - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

A Modular Module System


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2866.pdf (326.13 Ko) Télécharger le fichier

Dates and versions

inria-00073825 , version 1 (24-05-2006)


  • HAL Id : inria-00073825 , version 1


Xavier Leroy. A Modular Module System. [Research Report] RR-2866, INRIA. 1996. ⟨inria-00073825⟩
53 View
318 Download


Gmail Facebook X LinkedIn More