A modular module system - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Functional Programming Année : 2000

A modular module system

Résumé

A simple implementation of an SML-like module system is presented as a module param-eterized 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.
Fichier principal
Vignette du fichier
modular-modules-jfp.pdf (272.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01499946 , version 1 (01-04-2017)

Identifiants

Citer

Xavier Leroy. A modular module system. Journal of Functional Programming, 2000, 10 (3), pp.269-303. ⟨10.1017/S0956796800003683⟩. ⟨hal-01499946⟩

Collections

INRIA INRIA2
200 Consultations
475 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More