Elementi di Linguaggi Funzionali

Il presente libro è un'introduzione ai "linguaggi funzionali". La costruzione di un linguaggio funzionale come formalismo per scrivere programmi su tipi di dato astratti viene fatta in modo incrementale, partendo da un linguaggio molto elementare. Vengono poi introdotte sintassi e semantica di linguaggi sempre più espressivi. Per essi vengono costruiti interpreti e discusse alcune importanti tecniche di valutazione quali il legame dei parametri per nome e per valore e il legame statico e dinamico delle variabili; vengono infine presentate tecniche di implementazione quali il legame profondo e il legame superficiale.

Luigia Carlucci Aiello è professore ordinario di programmazione dei Calcolatori elettronici presso il Dipartimento di informatica e Sistematica dell'Università di Roma "La Sapienza". Laureata in matematica, ha precedentemente svolto la sua attività di ricerca presso l'Istituto di elaborazione dell'Informazione del Cnr a Pisa, il Laboratorio di intelligenza artificiale dell'Università di Stanfort (California) e presso l'Università di Ancona. Si è interessata di problematiche riguardanti i linguaggi di programmazione, l'automazione d'ufficio e l'intelligenza artificiale. È autore di numerose pubblicazioni in ambito nazionale e internazionale.

Daniele Nardi, laureato in ingegneria elettronica al Politecnico di Torino, ha collaborato con l'Istituto di informatica dell'Università di Ancona e con il Dipartimento di Informatica e Sistemistica dell'Università di Roma "La Sapienza" per ricerche su linguaggi di programmazione, deduzione automatica e automazione d'ufficio. Dal gennaio al dicembre 1985 è stato presso l'SRI International (Menlo Park, California). Ha pubblicato diversi articoli in ambito nazionale e internazionale.