Type Systems for Programming Languages (1990)

by J C Mitchell
Venue:Handbook of Theoretical Computer Science, volume B, chapter 8