A syntactic theory of type generativity and sharing

Abstract : This paper presents a purely syntactic account of type generativity and sharing --- two key mechanisms in the Standard ML module system --- and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the Standard ML module system in a more abstract, type-theoretic framework.
Type de document :
Rapport
[Research Report] RR-2545, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074133
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:35:40
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:12:29

Fichiers

Identifiants

  • HAL Id : inria-00074133, version 1

Collections

Citation

Xavier Leroy. A syntactic theory of type generativity and sharing. [Research Report] RR-2545, INRIA. 1995. 〈inria-00074133〉

Partager

Métriques

Consultations de la notice

106

Téléchargements de fichiers

131