Type Inference
Lecture notes (
PDF
) (
Postscript
)
Writeup (
PDF
) Comments!
References
Introduction to Combinators and $\lambda$-Calculus
, J. R. Hindley and J. P. Seldin, Cambridge Univ. Press, 1986.