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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499946
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 5:47:31 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, July 2, 2017 - 12:44:21 PM

File

modular-modules-jfp.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

148

Files downloads

128