Data types, parameters and type checking
Demers, Alan J. ; Donahue, James E.
Annual Symposium on Principles of Programming Languages: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 28-30 Jan. 1980, 1980, p.12-23New York, NY, USA: ACM
Texto completo disponível