Programmation en CAML

CAML (Categorical Abstract Machine Language) est un langage fonctionnel, fortement typé, à évaluation stricte. Cet ouvrage d'initiation est constitué d'une partie "cours" : le manuel de programmation, très structuré et d'une partie "application" : l'atelier CAML, qui met en application les notions étudiées pour aborder des domaines connexes, logique, automates, grammaires et développer des projets informatiques plus complets.