Type inference, principal typings, and let-polymorphism for first-class mixin modules

Type inference, principal typings, and let-polymorphism for first-class mixin modules
Henning Makholm, J. B. Wells
Abstract
Keywords	type systems, mixin modules, record concatenation, row unification, polymorphism
Type	Conference paper [With referee]
Conference	International Conference on Functional Programming
Year	2005 Month September
Electronic version(s)	[pdf] [ps]
BibTeX data	[bibtex]
IMM Group(s)	Computer Science & Engineering