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.99.