Data types, parameters, and type checking (1980)

by A J Demers, J E Donahue
Venue:In Conf. Rec. 7th Ann. ACM Symp. on Principles of Programming Languages