Manuel d'initiation à la programmation en CAML, cet ouvrage présente dans une première partie des notions générales telles que le filtrage, le polymorphisme, la pleine fonctionnalité ou la récursivité. La seconde partie étudie des thèmes fondamentaux et des outils formels pour explorer quelques voies comme le lambda-calcul, les automates ou les grammaires.