Introduzione alla
Programmazione Funzionale

Marta Cialdea Mayer e Carla Limongelli

Indice generale: documento postscript - documento PDF

Soluzione di alcuni esercizi:

Errata Corrige: documento postscript - documento PDF

Gli autori saranno grati a chiunque, avendo evidenziato qualcuno dei certamente numerosi errori presenti nel testo, voglia gentilmente segnalarli.

Implementazione OCaml di:

Algoritmi di logica
Algoritmo A*

Collegamenti utili:

Il Linguaggio Caml
Manuale in linea di Objective Caml
XEmacs per Windows (un editor configurabile per OCaml)
Sul sito di XEmacs si può trovare anche un breve README per l'istallazione.