A Modular Module System

Xavier Leroy (1)

1 CRISTAL - Typed programming, modularity and compilation

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.

Mots clés: MODULE SYSTEMS; TYPE SYSTEMS; FUNCTORS; SHARING CONSTRAINTS; CAML; SML; ML

Domaines: Autre [cs.OH]

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