PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Barbuti R., Martelli A. Static type checking for languages with parametric types and polymorphic procedures. In: International Symposium on Programming (Parigi, Francia, 1980). Proceedings, vol. 83 pp. 1 - 16. (Lecture Notes in Computer Science). Springer, 1980.
 
 
Abstract
(English)
No abstract available
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional