programma Linguaggi Funzionali 2004.2F2005