A modular module system - Archive ouverte HAL Access content directly
Journal Articles Journal of Functional Programming Year : 2000

A modular module system

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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

Collections

INRIA INRIA2
165 View
412 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More