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.
Origin : Files produced by the author(s)
Loading...