A syntactic theory of type generativity and sharing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Functional Programming Year : 1996

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.
Fichier principal
Vignette du fichier
syntactic-generativity.pdf (291.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩

Collections

INRIA INRIA2
59 View
270 Download

Altmetric

Share

Gmail Facebook X LinkedIn More