Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
☰
Pubblicazioni
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures
Contributo in Atti di convegno
Data di Pubblicazione:
1980
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
R. Barbuti; A. Martelli
Link alla scheda completa:
https://iris.unito.it/handle/2318/103252
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
