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.
No abstract available

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