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 SML module system — and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the SML module system in a more abstract, type-theoretic framework.
Type de document :
Article dans une revue
Journal of Functional Programming, Cambridge University Press (CUP), 1996, 6 (5), pp.667 - 698. 〈10.1017/S0956796800001933〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499965
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:25:10
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:51:06

Fichier

syntactic-generativity.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, Cambridge University Press (CUP), 1996, 6 (5), pp.667 - 698. 〈10.1017/S0956796800001933〉. 〈hal-01499965〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

38