Roberto Di Cosmo. Type isomorphisms in a type assignment framework. In 19th Ann. ACM Symp. on Principles of Programming Languages (POPL), pages 200--210. ACM, 1992.

bib | DOI | Local copy | Url ] This file was generated by bibtex2html 1.99.