Maria-Virginia Aponte and Roberto Di Cosmo. Type isomorphisms for module signatures. In Programming Languages Implementation and Logic Programming (PLILP), volume 1140 of Lecture Notes in Computer Science, pages 334--346. Springer-Verlag, 1996.

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