Type Systems for Programming Languages. Chapter 8 (1990)

by J Mitchell
Venue:of Handbook of Theoretical Computer Science, Vol B