Lo strumento utilizzato nel corso

Ocaml (Objective CaML), una estensione, orientata ad oggetti (e con un frammento imperativo), di uno dei più importanti linguaggi funzionali (ML)
- progettato ed implementato all’INRIA (Francia)

l’implementazione (per tutte le piattaforme importanti) si può scaricare dal sito

http://caml.inria.fr/