Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare 
organizzazione dell'insegnamento
L'insegnamento tratta i principi teorici e la pratica della programmazione funzionale.
Fondamenti della programmazione funzionale.
Il lambda calcolo puro; tipi e rappresentazione dei dati in lambda calcolo; sistemi di inferenza di tipo.
Introduzione alla semantica.
Un linguaggio di programmazione funzionale.
Principi generali. Ricorsione. Strutture dati e algoritmi.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| Jean Louis Krivine, Rene Cori | Lambda-calculus, Types and Models | Ellis Horwood | 1993 | 978-0130624079 | Testo di consultazione per il lambda-calcolo e i tipi |
| Chris Okasaki | Purely Functional Data Structures (Edizione 1) | Cambridge University Press | 1998 | 0-521-6635 | Testo di consultazione sul trattamento funzionale delle strutture dati |
| Guy Cousineau, Michel Mauny | The functional approach to programming (Edizione 1) | Cambridge University Press | 1998 | 0-521-5768 | Testo di conslutazione per il lambda-calcolo e i tipi |
L'esame finale consiste in un colloquio orale sugli argomenti presentati nel corso e i progetti sviluppati in laboratorio; l'esame è preceduto da una prova scritta di ammissione.
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
