| Lingua originale | Inglese |
|---|---|
| Pagine | 102-124 |
| Stato di pubblicazione | Pubblicato - 1992 |
| Evento | CAAP 92 - Durata: 1 gen 1992 → … |
???event.eventtypes.event.conference???
| ???event.eventtypes.event.conference??? | CAAP 92 |
|---|---|
| Periodo | 1/01/92 → … |
A Complete Type Inference Algorithm for Simple Intersection Types
M. Coppo, Paola GIANNINI
Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review