Darnas L., Milner R. Principal type-schemes for functional programs

Статья от создателей языка ML и разработчиков алгоритма типизации Хиндли-Милнера. В статье приводится описание алгоритма W. Краткое содержание: Introduction
The language
Type Instantiation
Semantics
Type Inference
The type assignment algorithm W
Completeness of W
References