Abstract
AbstractThis 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have