A syntactic theory of type generativity and sharing
Xavier Leroy · Journal of Functional Programming · 1996
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.