Xavier Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, 6(5):667--698, 1996.

This paper presents a purely syntactic account of type generativity and sharing -- two key mechanisms in the Standard ML module system -- and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the Standard ML module system in a more abstract, type-theoretic framework.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.