Type inference and principal typings for symmetric record concatenation and mixin modules : dart-reports : Mak+Wel:2005-HW-MACS-TR-0030

Henning Makholm and J. B. Wells

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

[ bib ]

This file has been generated by bibtex2html 1.43