巴黎第七大学
基于在1985年的关于构造演算的论文，INRIA的Formel项目开始致力于参与Coq的开发。在1987年，INRIA的Ascánder Suárez，基于巴黎第七大学的的“”（CAM），利用的运行时间系统重新实现了Le_ML，并正式命名为“Caml”。