A Complete Type Inference Algorithm for Simple Intersection Types

M. Coppo
, Paola GIANNINI

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

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 → …

Accesso al documento

http://hdl.handle.net/11579/57187

Altri file e collegamenti

handle

Cita questo