Type systems for programming languages, Handbook of theoretical computer science (1990)

by J C Mitchell