CAML (Categorical Abstract Machine Language) est un langagefonctionnel, fortement typé, à évaluation stricte. Cetouvrage 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 lesnotions étudiées pour aborder des domaines connexes,logique, automates, grammaires et développer des projetsinformatiques plus complets.
