logo SBA

ETD

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

Tesi etd-06262007-140951


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