Italiano (Italian) English (Inglese)
Friday, 22 October 2021

Publications

Back
Pubblication Details
Authors:Mario Coppo
Paola Giannini
Title:A Complete Type Inference Algorithm for Simple Intersection Types
Published on:In Colloquium on Trees Algebras and Programming, CAAP92
Year:1992
Tipo Pubblicazione:Paper on Proceedings International Conference