Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.

Roberto Barbuti Alberto Martelli Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. 1-16 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#BarbutiM80