Italiano (Italian) English (Inglese)
Monday, 10 December 2018

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