Skip to Main content Skip to Navigation
Reports

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

Xavier Leroy 1, 2 Damien Doligez 2 Alain Frisch 3 Jacques Garrigue 4 Didier Rémy 2 Jérôme Vouillon 5
1 Chaire Sciences du logiciel
2 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
CdF (institution) - Collège de France, Inria de Paris
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.13 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. Part V, “Indexes”, contains an index of all identifiers defined in the standard library, and an index of keywords.
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/hal-00930213
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, December 18, 2021 - 7:16:33 PM
Last modification on : Thursday, April 7, 2022 - 1:58:27 PM

File

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

Identifiers

  • HAL Id : hal-00930213, version 8

Collections

CDF | UP-SCIENCES | PSL | LARA | INRIA | CNRS | UNIV-PARIS | INRIA2

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

909

Files downloads

2638

 

Contact                    Legal Notice                    Personal Data