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.