What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

Source URL: ocaml.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• OCaml
• Caml
• Procedural programming languages
• ML
• Conditional
• Exception handling
• Xavier Leroy

Towards Automatic Resource Bound Analysis for OCaml Ar tifact * Complete

Source URL: www.cs.cmu.edu

The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Source URL: caml.inria.fr

MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license.

Source URL: www.inrialpes.fr

The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Source URL: caml.inria.fr

Statistically profiling memory in OCaml Jacques-Henri Jourdan MPI-SWS, Inria Paris-Rocquencourt 1

Source URL: ocaml.org

Generic Programming in OCaml∗† Florent Balestrieri Michel Mauny U2IS, ENSTA-ParisTech, Université Paris-Saclay,

Source URL: ocaml.org

A memory model for multicore OCaml Stephen Dolan KC Sivaramakrishnan University of Cambridge 1

Source URL: kcsrk.info

ocamli: Interpreted OCaml John Whitington, University of Leicester July 12, 2017 We present a proof-of-concept tool, ocamli, which runs ordinary OCaml programs by direct interpretation of the abstract syntax tree, taking

Source URL: www.cs.le.ac.uk