==References====External links==* Archived e-mail message by Roger Hindley, explains history of type inference* Polymorphic Type Inference by Michael Schwartzbach, gives an overview of Polymorphic type inference.
* Утиная типизация* Реализация алгоритма Хиндли-Милнера на Perl* Archived e-mail message by Roger Hindley, explains history of type inference* Polymorphic Type Inference by Michael Schwartzbach, gives an overview of Polymorphic type inference.