Elementi di linguaggi funzionali

Il presente libro è un'introduzione al 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 motto 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 legante 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 elettronica presso Il Dipartimento di Informatica e Sistemistica 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 Stanford California e presso l'Università di Ancona. Si è Interessata di problematiche riguardanti i linguaggi di programmazione, l'automazione d'ufficio e l'intelligenza Artificiale. E' 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 della 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 lnternational Menio Park, California. Ha pubblicato diversi articoli in ambito nazionale e internazionale.