Static Type Checking for Languages with Parametric Types and Polymorphic Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Roberto Barbuti' in GoogleThis author has not been identified. Look up 'Alberto Martelli' in Google

runs on WebDSL