Roberto Di Cosmo. Deciding type isomorphisms in a type assignment framework. Journal of Functional Programming, 3(3):485--525, 1993. Special Issue on ML.

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