Tesi etd-06262007-140951 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
Salvadori, Ares
URN
etd-06262007-140951
Titolo
Sull'inferenza di tipi polimorfi
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Levi, Giorgio
Parole chiave
- inferenza di tipi
- interpretazione astratta
- ricorsione polimorfica lineare
- semiunificazione
Data inizio appello
20/07/2007
Consultabilità
Completa
Riassunto
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 |
|