Funktionale Programmierung

Oggetto di quest'opera è la teoria e la pratica della programmazione funzionale moderna. Gli autori non si limitano a considerare ciò che è realizzabile con i linguaggi attualmente implementati come Haskell, Opal, ML, ecc., ma evidenziano anche sviluppi recenti. Da un lato, vengono presentate tecniche di programmazione avanzate, come l'uso di strutture dati infinite, parser come funzioni di ordine superiore, algoritmi di approssimazione, risoluzione di sistemi di equazioni, ecc. Dall'altro, vengono discussi anche concetti linguistici, come una forma sistematica di modularizzazione o forme di tipizzazione particolarmente espressive e flessibili. Un'importanza particolare è data all'integrazione di diversi paradigmi, come ad esempio la connessione con concetti di programmazione orientata agli oggetti, concorrente o basata su vincoli.