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.
Type de document :
Article dans une revue
Journal of Functional Programming, Cambridge University Press (CUP), 2000, 10 (3), pp.269-303. 〈10.1017/S0956796800003683〉
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499946
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 17:47:31
Dernière modification le : mardi 17 avril 2018 - 11:27:18
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:44:21

Fichier

modular-modules-jfp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

103

Téléchargements de fichiers

34