Obiettivi.
Il corso si propone di introdurre allo studio dei linguaggi di tipo
funzionale.
Contenuti.
Generalità sui linguaggi funzionali; il linguaggio ML.
Il lambda-calcolo come fondazione dei linguaggi funzionali.
Sistemi di tipo per i linguaggi funzionali: dai tipi semplici al
polimorfismo; inferenza e assegnamento di tipi.
Strategie per l'implementazione efficiente di linguaggi funzionali.