ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-06262007-140951

Tipo di tesi

Tesi di laurea specialistica

URN

etd-06262007-140951

Titolo

Sull'inferenza di tipi polimorfi

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

inferenza di tipi
interpretazione astratta
ricorsione polimorfica lineare
semiunificazione

Data inizio appello

20/07/2007

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

Si confrontano due sistemi di inferenza di tipi per linguaggi funzionali; uno basato sull' interpretazione astratta e l' altro basato su sistemi comprendenti unificazioni e semiunificazioni. Si discute, in particolare, il caso della "polymorphic linar recursion".

File

Nome file	Dimensione
Sull_Inf..._tipi.pdf	294.69 Kb
Contatta l’autore