logo SBA

ETD

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

Tesi etd-06242009-104108


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
Parole chiave
  • Polymorphism
  • System-F
  • Type-systems
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.
File