Thesis etd-06242009-104108 |
Link copiato negli appunti
Thesis type
Tesi di laurea specialistica
URN
etd-06242009-104108
Thesis title
Partial Type Inference with Higher-Order Types
Department
SCIENZE MATEMATICHE, FISICHE E NATURALI
Course of study
INFORMATICA
Supervisors
.
Relatore Rémy, Didier
Relatore Ferrari, Gian Luigi
Relatore Ferrari, Gian Luigi
Keywords
- Polymorphism
- System-F
- Type-systems
Graduation session start date
17/07/2009
Availability
Full
Abstract (Inglese)
Abstract (Italiano)
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 |
|