Expansion: the crucial mechanism for type inference with intersection types: Survey and explanation : dart-reports : Car+Wel:expansion-TR-2005

Sébastien Carlier and J. B. Wells

Technical Report HW-MACS-TR-0029, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2005

[ bib ]

This file has been generated by bibtex2html 1.43