A Syntactic Theory of Type Generativity and Sharing (1996)
Cached
Download Links
- [pauillac.inria.fr]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [gallium.inria.fr]
- [pauillac.inria.fr]
- [ftp.inria.fr]
- DBLP
Other Repositories/Bibliography
by
Xavier Leroy
| Citations: | 53 - 3 self |
BibTeX
@MISC{Leroy96asyntactic,
author = {Xavier Leroy},
title = {A Syntactic Theory of Type Generativity and Sharing},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
