Caml Light est une petite implémentation du langage ML, tournant sur de nombreuses machines UNIX. Caml Light implémente le langage Caml, un langage fonctionnel de la famille ML. On peut l'assimiler à un compilateur. La documentation et les exemples sont dans le répertoire /usr/local/caml/V3.1 de la machine poly.