Type Systems for Programming Languages, to appear (1990)

by J C Mitchell
Venue:in Handbook of Theoretical Computer Science