Compilador en tiempo real de uno de los lenguajes basados en programación funcional más utilizados por las universidades en nuestro país.

Si quieres más información sobre este programa o la documentación del mismo, la puedes descargar de la página web 
http//caml.inria.fr.