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

Henning Makholm, J. B. Wells

Abstract
Keywordstype systems, mixin modules, record concatenation, row unification, polymorphism
TypeConference paper [With referee]
ConferenceInternational Conference on Functional Programming
Year2005    Month September
Electronic version(s)[pdf] [ps]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering