The OCaml Planet

OCamlCC - raising low-level byte code to high-level C, by Michel Mauny Benoît Vaugon We present preliminary results about OCamlCC, a compiler producing native code from OCaml bytecode executables, through the generation of C code.

Ocsigen/Eliom: The state of the art, and the prospects, by Benedikt Becker and Vincent Balat

Biology is an increasingly computational discipline due to rapid advances in experimental techniques, especially DNA sequencing, that are generating data at unprecedented rates. The computational techniques needed range from the complex (.e.g algo...

Transport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used t...

The State of OCaml (invited), Xavier Leroy

The OCaml Platform v1.0, by Anil Madhavapeddy The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documen- tation, testing and IDE integration. The project is a collab- orative effort across the OCam...

This proposal describes a parsing library that is based on current work due to be published as Simple, efficient, sound and complete combinator parsing for all context-free grammars, using an oracle.

[OCamlOScope](http://ocamloscope.herokuapp.com) is a new search engine for OCaml programming. Tons of OCaml library packages, modules, types, constructors, functions and values can be searched via simple string queries.

Nullable Type Inference, by Michel Mauny and Benoît Vaugon We present type inference algorithms for nullable types in ML-like programming languages. Starting with a sim- ple system, presented as an algorithm, whose only inter- est is to introdu...