A syntactic theory of type generativity and sharing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Functional Programming Année : 1996

A syntactic theory of type generativity and sharing

Xavier Leroy
Typed programming, modularity and compilation

Résumé

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.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
syntactic-generativity.pdf (291.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Xavier Leroy  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01499965

Soumis le : samedi 1 avril 2017-19:25:10

Dernière modification le : jeudi 3 février 2022-11:17:59

Archivage à long terme le : dimanche 2 juillet 2017-12:51:06

Télécharger pour visualiser

Dates et versions

hal-01499965 , version 1 (01-04-2017)

Identifiants

Citer

Xavier Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, 1996, 6 (5), pp.667 - 698. ⟨10.1017/S0956796800001933⟩. ⟨hal-01499965⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
61 Consultations
272 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More