Cover Image
Read Now

1
by Smith, Joshua B.
Published 2007
Apress
Table of Contents: “...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...”
Cover Image
Read Now

3
by Minsky, Yaron, Madhavapeddy, Anil
Published 2022
Cambridge University Press
Subjects: “...OCaml (Computer program language)...”
Cover Image
Read Now

4
by Wang, Liang, Zhao, Jianxin
Published 2023
Apress
“...This unique open access book applies the functional OCaml programming language to numerical...”
Cover Image
Read Now

5
by Rafatpanah, Raphael, D'Mello, Bruno Joseph
Published 2019
Packt Publishing
Subjects: “...OCaml (Langage de programmation)...”
Cover Image
Read Now

7 “... of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”
Cover Image
Read Now

9
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory...”
Cover Image
Read Now

10
Published 2015
Springer International Publishing
Table of Contents: “..., Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml...”
Cover Image
Read Now

11
by Eisenberg, J. David
Published 2019
The Pragmatic Bookshelf
Cover Image
Read Now

12
by Cisternino, Antonio, Granicz, Adam, Syme, Don
Published 2007
Apress
Cover Image
Read Now

13
by Pickering, Robert
Published 2010
Apress
“... Erlang and OCaml, leads the way to F#, Microsoft's effort to bring the elegance and focus of functional...”
Cover Image
Read Now

14
Published 2023
Springer Nature Switzerland
Table of Contents: “... Networks -- Hardware implementation of OCaml using a synchronous functional language -- Ontological...”
Cover Image
Read Now

15
by Syme, Don
Published 2007
Apress
Cover Image
Read Now

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... in MetaOCaml, Template Haskell, and C++ -- Program Optimization in the Domain of High-Performance Parallelism...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
Table of Contents: “... Monitoring -- Ortac: Runtime Assertion Checking for OCaml (tool paper) -- Gaussian-based runtime detection...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Inversion in Term Rewriting -- Delimited Control in OCaml, Abstractly and Concretely: System Description...”
Cover Image
Read Now

19
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Semantics, Parametricity, and Types -- A Sound Semantics for OCaml light -- Parametric Polymorphism...”
Cover Image
Read Now

20
Published 2020
Springer International Publishing
Table of Contents: “... Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation...”