Description
Il seminario si propone di discutere aspetti teorici e tecnologie emergenti nell'ambito dei Linguaggi di Programmazione e creare un punto d'incontro, confronto e discussione tra ricerca accademica e professionisti.
Ci saranno tre presentazioni da mezz'ora ciascuna e mezz'ora di tavola rotonda alla fine.
Programma
- Ivano Salvo: Computazione Lazy: Crivello di Eulero in Haskell (Functional Pearl)
- Epifanio: Ownership e borrowing: la gestione della memoria nel linguaggio Rust.
- Lorenzo Perticone: Monadi e Monad Transformer.
- Tavola rotonda sul futuro del seminario/gruppo su TAPAS.