A Decidable Intersection Type System based on Relevance

F. Damiani, Paola GIANNINI

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Lingua originaleInglese
Pagine707-725
Numero di pagine19
Stato di pubblicazionePubblicato - 1994
EventoTACS'94 -
Durata: 1 gen 1994 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???TACS'94
Periodo1/01/94 → …

Cita questo