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 Ferrari: Ownership e borrowing: la gestione della memoria nel linguaggio Rust.