Tesi etd-06242009-104108 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
HERMS, PAOLO
URN
etd-06242009-104108
Titolo
Partial Type Inference with Higher-Order Types
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Rémy, Didier
Relatore Ferrari, Gian Luigi
Relatore Ferrari, Gian Luigi
Parole chiave
- Type-systems
- Polymorphism
- System-F
Data inizio appello
17/07/2009
Consultabilità
Completa
Riassunto
The language MLF is an extension of System-F that permits robust first-order partial type inference with second-order polymorphism.
We propose an extension of MLF's graphical presentation with higher-order types and reduction at the type level as in System-Fω. As inference of higher-order types won't be possible in general, the extension introduces System-F-style explicit type abstractions and type application into MLF.
We propose an extension of MLF's graphical presentation with higher-order types and reduction at the type level as in System-Fω. As inference of higher-order types won't be possible in general, the extension introduces System-F-style explicit type abstractions and type application into MLF.
File
| Nome file | Dimensione |
|---|---|
| tesi.pdf | 2.45 Mb |
Contatta l’autore |
|