Logiciels libres
Les différents logiciels utilisés dans cet ouvrage sont des logiciels
<< libres >>1. On les trouve soit sur
le cédérom accompagnant cet ouvrage, soit en téléchargement depuis le
réseau Internet. C'est le cas d'Objective CAML, développé à
l'Inria.