Skip to Main content Skip to Navigation
Reports

The OCaml system release 4.09: Documentation and user's manual

Xavier Leroy 1 Damien Doligez 1 Alain Frisch 2 Jacques Garrigue 3 Didier Rémy 1 Jérôme Vouillon 4
1 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
CdF - Collège de France, Inria de Paris
2 LexiFi [Boulogne-Billancourt]
3 Graduate School of Mathematics [Nagoya]
4 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Abstract : This manual documents the release 4.09 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives an overview of the language. Part II, "The OCaml language", is the reference description of the language. Part III, "The OCaml tools", documents the compilers, toplevel system, and programming utilities. Part IV, "The OCaml library", describes the modules provided in the standard library.
Document type :
Reports
Complete list of metadatas
https://hal.inria.fr/hal-00930213
Contributor : Xavier Leroy <>
Submitted on : Tuesday, November 19, 2019 - 12:56:56 PM
Last modification on : Wednesday, June 17, 2020 - 11:18:06 AM
Document(s) archivé(s) le : Thursday, February 20, 2020 - 5:25:49 PM

File

Vignette du document
ocaml-4.09-refman.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00930213, version 6

Collections

CDF | LARA | INRIA | UNIV-PARIS7 | PSL | USPC | CNRS | UP-SCIENCES

Citation

Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, et al.. The OCaml system release 4.09: Documentation and user's manual. [Intern report] Inria. 2019, pp.1-789. ⟨hal-00930213v6⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

92

Files downloads

371

 

Contact                    Legal Notice                    Personal Data