Italiano (Italian) English (Inglese)
giovedì, 21 settembre 2023

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Mario Coppo
Paola Giannini
Titolo:A Complete Type Inference Algorithm for Simple Intersection Types
Apparso su:In Colloquium on Trees Algebras and Programming, CAAP92
Anno:1992
Tipo Pubblicazione:Paper on Proceedings International Conference