Type systems for programming languages (1990)

by J Mitchell
Venue:In Handbook of Theoretical Computer Science