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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499965
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 7:25:10 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, July 2, 2017 - 12:51:06 PM

File

syntactic-generativity.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

131

Files downloads

155