Università Roma Tre

CARATTERISTICHE DEL PARADIGMA DI PROGRAMMAZIONE
FUZIONALE. INTRODUZIONE AL LINGUAGGIO OBJECTIVE CAML. PROGETTAZIONE E
IMPLEMENTAZIONE DI PROGRAMMI RICORSIVI. DEFINIZIONE E USO DI FUNZIONI
DI ORDINE SUPERIORE. STRUTTURE DI DATI: LISTE, ALBERI, GRAFI. IMPLEMENTAZIONE DI ALGORITMI DI BACKTRACKING.
IL SISTEMA DEI MODULI DI OBJECTIVE CAML (STRUTTURE E SEGNATURE). GENERATORI DI
PARSER. STUDIO DI UN'APPLICAZIONE: LA LOGICA PROPOSIZIONALE.

Vedi il sito del corso: http://cialdea.dia.uniroma3.it/teaching/pf/

M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(in alternativa: M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (dispense))

M. Cialdea Mayer, Introduzione alla logica proposizionale (dispense)

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