A Modular Module System

Abstract : 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.
Type de document :
Rapport
[Research Report] RR-2866, INRIA. 1996
Liste complète des métadonnées

https://hal.inria.fr/inria-00073825
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:50:12
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:59:16

Fichiers

Identifiants

  • HAL Id : inria-00073825, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

136