OCaml Workshop 2014

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 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...

Multicore OCaml, by Stephen Dolan, Leo White, Anil Madhavapeddy (University of Cambridge). Currently, threading is supported in OCaml only by means of a global lock, allowing at most thread to run OCaml code at any time. We present ongo- ing wo...

Introduction to 0install by Thomas Leonard 0install (pronounced “Zero Install”) is a decentralised cross-platform package manager. “Decentralised” means that organisations and individuals can host their software in their own package repositorie...

Improving Type Error Messages in OCaml, by Arthur Charguéraud (INRIA & Université Paris Sud) Cryptic type error messages are a major obstacle to learning OCaml. In many cases, error messages cannot be interpreted with- out a sufficiently-precis...

High Performance Client-Side Web Programming with SPOC and Js of ocaml - by Mathias Bourgoin and Emmmanuel Chailloux (Université Pierre et Marie Curie) We present WebSpoc, an OCaml GPGPU library targeting web applications that is built upon SPO...

Github Pull Requests for OCaml development - a field report, by Gabriel Scherer On 2014/01/30, we started an experiment allowing users to submit and discussion patches to the OCaml distribution on its Github mirror rather than through the exist...

Ephemerons meet OCaml GC, by François Bobot Garbage collectors (GCs) manage the memory for the programmers and help to ensure the safety of the programs by freeing memory only when it cannot be used anymore. GCs detect that a memory block can’...

Coq of OCaml, by Guillaume Claret The CoqOfOCaml project is a compiler from a subset of the OCaml language to the Coq programming language. This com- piler aims to allow reasoning about OCaml programs, or to im- port existing OCaml libraries in...

A Proposal for Non-Intrusive Namespaces in OCaml, by Pierrick Couderc (I), Fabrice Le Fessant (I+O), Benjamin Canou (O), Pierre Chambart (O); (I = INRIA, O = OCamlPro) We present a work-in-progress about adding namespaces to OCaml. Inspired by ...

A Case for Multi-Switch Constraints in OPAM - by Fabrice Le Fessant (INRIA) Package managers usually only deal with packages and their versions, and the constraints on their dependencies towards other packages’ versions. Among package managers,...