Università Roma Tre

Basic features of the functional programming paradigm. Introduction to the language Objective Caml.
Design and implementation of recursive programs. Definition and use of higher order functions.
Data structures: lists, trees, graphs. Implementation of backtracking algorithms. The module system of Objective Caml (structures and signatures). Parser generators. Study of an application: propositional logic.

See the course web site: http://cialdea.dia.uniroma3.it/teaching/pf/

M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(alternatively,
M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (lecture notes))

M. Cialdea Mayer, Introduzione alla logica proposizionale (lecture notes)

THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.