Italiano (Italian) English (Inglese)
Thursday, 12 December 2024

Publications

Back
Pubblication Details
Authors:Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
Title:A Type System for Required/Excluded Elements in CLS
Published on:DCM'09 9
Pages:38--48
Year:2009
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~dezani/papers/dgtA.pdf