Italiano (Italian) English (Inglese)
Friday, 29 March 2024

Publications

Back
Pubblication Details
Authors:Ferruccio Damiani
Paola Giannini
Title:A Decidable Intersection Type System based on Relevance
Published on:TACS'94
Pages:707-725
Publisher:Springer
Year:1994
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tacs94.html