Data Types, Parameters and Type Checking (1980)

by A J Demers, J E Donahue
Venue:In Symposium on Principles of Programming Languages. ACM