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

Henning Makholm, J. B. Wells

Browse the full ICFP paper archive.