Статья М. П. Джонса, опубликованная в Haskell Workshop Version: September 1, 1999. Посвящена описанию системы типизации языка Haskell, причём реализация машины вывода типов приведена опять же на языке Haskell.Краткое содержание:Introduction
Preliminaries
Kinds
Types
Substitutions
Uni cation and Matching
Predicates and Quali ed Types
Type Schemes
Assumptions
A Type Inference Monad
Type Inference
Conclusions
Acknowledgments
References
