۵ - ۱۰منابع پیشنهادی

Luis Damas; Robin Milner; Principal type-schemes for functional programs

Christopher Strachey. Fundamental Concepts in Program-ming LanguagesPopular origin of the parametric/ad-hoc polymorphism distinction.