Principal Type-Schemes for Functional Programs.

Lus Damas, Robin Milner

Browse the full POPL paper archive.