Ha producido muchas aplicaciones ampliamente utilizadas, particularmente se diseñó allí el lenguaje Caml y sus sucesores Caml Light y Ocaml, que son todos lenguajes de la familia de lenguajes ML.