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

https://hal.inria.fr/inria-00074133
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:35:40 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, April 4, 2010 - 10:12:29 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

124

Files downloads

200