OCaml
引用

1 2 3  Xavier Leroy.  (PDF). Principles of Programming Languages. 1994  [2021-09-06]. （原始内容 (PDF)存档于2021-10-22）.
1 2  Didier Rémy. . Research Report RR-1431, INRIA. 1991  [2021-09-10]. （原始内容存档于2022-04-06）. 
Didier Rémy, Jérôme Vouillon.  (PDF). 1997  [2021-09-06]. （原始内容 (PDF)存档于2022-01-21）. 
Didier Rémy, Jérôme Vouillon.  (PDF). 1998  [2021-09-06]. （原始内容 (PDF)存档于2022-01-20）.
↑  https://ocaml.org/releases/5.3.0; 检索日期: 2025年1月9日.
↑  .   [2021-08-28]. （原始内容存档于2021-08-29）.
↑  Xavier Leroy（英语：）. . 1997  [2021-09-02]. （原始内容存档于2022-03-08）.
↑  Xavier Leroy. . 1997  [2021-09-02]. （原始内容存档于2022-01-23）.
↑  .   [2021-09-02]. （原始内容存档于2022-04-13）. Our main reason for developing Caml was to use it for sofware development inside Formel. Indeed, it was used for developing the Coq system ……. We were reluctant to adopt a standard that could later prevent us from adapting the language to our programming needs. ……We did incorporate into Caml most of the improvements brought by Standard ML over Edinburgh ML. ……The first implementation of Caml appeared in 1987 and was further developed until 1992. It was created mainly by Ascander Suarez. ……
In 1990 and 1991, Xavier Leroy designed a completely new implementation of Caml, based on a bytecode interpreter written in C. Damien Doligez provided an excellent memory management system. ……In 1995, Xavier Leroy released Caml Special Light, which improved over Caml Light in several ways. In 1995, Xavier Leroy released Caml Special Light, which improved over Caml Light in several ways. First, an optimizing native-code compiler was added to the bytecode compiler. ……Second, Caml Special Light offered a high-level module system, designed by Xavier Leroy and inspired by the module system of Standard ML. ……Didier Rémy, later joined by Jérôme Vouillon, designed an elegant and highly expressive type system for objects and classes. This design was integrated and implemented within Caml Special Light, leading to the Objective Caml language and implementation, first released in 1996 and renamed to OCaml in 2011.
↑  G. Cousineau, P.-L. Curien, M. Mauny. . 1985  [2021-09-03]. （原始内容存档于2021-09-03）.  LNCS, 201, Functional programming languages computer architecture, pp.~50-64.
Michel Mauny, Ascánder Suárez.  (PDF). 1986  [2021-09-07]. （原始内容 (PDF)存档于2022-01-28）.  LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming, Pages 266–278.
↑  G. Cousineau, M. Gordon, G. Huet, R. Milner, L. C. Paulson, C. Wadsworth. . Internal document. Project Formel, INRIA. July 1985. 
Christoph Kreitz, Vincent Rahli.  (PDF). 2011  [2021-09-11]. （原始内容 (PDF)存档于2022-01-29）. This handbook is a revised edition of Section 2 of ‘Edinburgh LCF’, by M. Gordon, R. Milner, and C. Wadsworth, published in 1979 as Springer Verlag Lecture Notes in Computer Science no 78. ……The language is somewhere in between the original ML from LCF and standard ML, since Guy Cousineau added the constructors and call by patterns. This is a LISP based implementation, compatible for Maclisp on Multics, Franzlisp on VAX under Unix, Zetalisp on Symbolics 3600, and Le Lisp on 68000, VAX, Multics, Perkin-Elmer, etc... Video interfaces have been implemented by Philippe Le Chenadec on Multics, and by Maurice Migeon on Symbolics 3600. The ML system is maintained and distributed jointly by INRIA and the University of Cambridge.
↑  Guy Cousineau, Gérard Huet（英语：）. . 1990  [2021-09-07]. （原始内容存档于2022-05-04）.  RT-0122, INRIA. pp.78.
Pierre Weis, Maria Virginia Aponte, Alain Laville, Michel Mauny, Ascander Suarez. . 1990  [2021-09-07]. （原始内容存档于2022-04-06）.  [Research Report] RT-0121, INRIA. pp.491.
↑  Xavier Leroy. . 1990  [2021-09-06]. （原始内容存档于2022-04-06）.  RT-0117, INRIA.
↑  Linux Weekly News （页面存档备份，存于）.
↑  . GitHub.   [2 May 2015]. （原始内容存档于2022-05-07）.
↑  .   [2021-09-10]. （原始内容存档于2022-03-31）.
↑  .   [2021-08-30]. （原始内容存档于2022-01-20）.
↑  .   [2021-08-30]. （原始内容存档于2022-03-23）.
↑  . ocaml.org.   [2021-05-17]. （原始内容存档于2021-09-11）.
↑  Batch compilation (ocamlc) （页面存档备份，存于）.
↑  .   [2021-09-10]. （原始内容存档于2022-03-10）.
↑  Coq（页面存档备份，存于）
↑  .   [2021-08-29]. （原始内容存档于2022-04-08）.
↑  .   [2021-08-29]. （原始内容存档于2022-05-12）.
↑  . 9 February 2019  [2021-08-29]. （原始内容存档于2022-05-05） –GitHub.
↑  . World Wide Web Consortium. 5 December 2019  [2021-05-14]. （原始内容存档于2022-05-12） –GitHub.
↑  FFTW（页面存档备份，存于）
↑  .   [2021-08-29]. （原始内容存档于2022-04-20）.
↑  .   [2021-08-28]. （原始内容存档于2021-07-12）.