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. In Bernard Robinet, editor, International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980. Volume 83 of Lecture Notes in Computer Science, pages 1-16, Springer, 1980.

Abstract

Abstract is missing.