巴黎第七大学
在1987年，INRIA的Ascánder Suárez，基于巴黎第七大学的的“”（CAM），利用的运行时间系统重新实现了Le_ML，并正式命名为Caml。在1990年和1991年，INRIA的基于用C实现的字节码解释器，利用提供的内存管理系统重新实现了Caml，并称其为Caml Light。在1995年，Xavier Leroy又增加了机器代码编译器和高层模块系统，这个版本也称为“Caml Special Light”。在1996年，INRIA的Didier Rémy和Jérôme Vouillon，向Caml Special Light增加了面向对象特征，从而形成了OCaml。