Skip to Main content Skip to Navigation
Reports

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

Xavier Leroy 1 Damien Doligez 2 Alain Frisch 3 Jacques Garrigue 4 Didier Rémy 2 Jérôme Vouillon 5
1 Chaire Sciences du logiciel
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
2 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
3 LexiFi [Boulogne-Billancourt]
4 Graduate School of Mathematics [Nagoya]
5 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Abstract : This manual documents the release 4.11 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 : Wednesday, December 9, 2020 - 10:25:36 AM
Last modification on : Thursday, January 7, 2021 - 3:37:13 AM

File

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

Identifiers

  • HAL Id : hal-00930213, version 7

Collections

CNRS | LARA | UP-SCIENCES | UNIV-PARIS | INRIA

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

26

Files downloads

136

 

Contact                    Legal Notice                    Personal Data