Sillabo dell'insegnamento

• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione ai paradigmi di programmazione
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Calcolo come riscrittura:le basi della programmazione funzionale
PLN - Paradigmi Linguistici
+ PL-BTS - Basic Type Systems
Espressioni e loro tipi. Tipi di base.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Progettazione di linguaggi funzionali, tecniche di ricorsione.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
PL-APC - Advanced Programming Constructs
Ragionare sui programmi funzionali: tecniche di induzione.
ALC - Astrazioni Linguistiche e Composizionalità
PL-APC - Advanced Programming Constructs
L'idea di astrazione funzionale. Funzioni di ordine superiore.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
La valutazione lazy
TAV - Tecniche di Analisi e Verifica
PL-FS - Formal Semantics
Coinduzione
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Monadi e programmazione imperativa