Sistema ETD

banca dati delle tesi e dissertazioni accademiche elettroniche

 

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
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
Relatore Rémy, Didier
Relatore Ferrari, Gian Luigi
Parole chiave
  • Type-systems
  • Polymorphism
  • System-F
Data inizio appello
17/07/2009;
Disponibilità
completa
Riassunto analitico
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