Roberto Di Cosmo. An extensional operational and axiomatic semantics for type-inference with recursion and algebraic data types. October 1995.

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