CIALDEA MARTA
(syllabus)
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.
(reference books)
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
|
Università Roma Tre