Manifest types, modules, and separate compilation

Abstract : This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module specification), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation .
Type de document :
Communication dans un congrès
POPL 1994: 21st symposium Principles of Programming Languages, Jan 1994, Portland, United States. ACM, pp.109-122, 1994, 〈10.1145/174675.176926〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499976
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:15:11
Dernière modification le : lundi 3 avril 2017 - 15:52:52
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:49:33

Fichier

manifest-types-popl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Xavier Leroy. Manifest types, modules, and separate compilation. POPL 1994: 21st symposium Principles of Programming Languages, Jan 1994, Portland, United States. ACM, pp.109-122, 1994, 〈10.1145/174675.176926〉. 〈hal-01499976〉

Partager

Métriques

Consultations de la notice

8

Téléchargements de fichiers

58