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.
@inproceedings{BarbutiM80,
title = {Static Type Checking for Languages with Parametric Types and Polymorphic Procedures},
author = {Roberto Barbuti and Alberto Martelli},
year = {1980},
tags = {type checking},
researchr = {https://researchr.org/publication/BarbutiM80},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980},
editor = {Bernard Robinet},
volume = {83},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09981-6},
}