A syntactic theory of type generativity and sharing
Résumé
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.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...