OCaml Users Meeting 2008

Location: Paris, France
Date: Saturday 26th January 2008

This event took place in Paris at ENST (Ecole Nationale Supérieure des Télécommunications or Telecom ParisTech).


  • 10:00–10:10: Word of welcome by organization team (S. Le Gall)
  • 10:10–10:30: Introduction by X. Leroy
  • 10:30–11:00: Ocsigen and Web programming with OCaml by V. Balat
  • 11:00–11:30: GODI by G. Stolpmann
  • 11:30–12:00: ocamlbuild by N. Pouillard
  • 13:30–14:00: OCaml in Debian by S. Le Gall
  • 14:00–14:30: OCaml on a JVM using OCaml-Java by X. Clerc


Slides of the introduction and video.

The core Caml system: status report and challenges, by Xavier Leroy

Xavier Leroy, senior research scientist at INRIA Paris-Rocquencourt, leads the development team for the core Caml system.

This talk will briefly review ongoing work on the core Caml system and discuss some medium to long-term challenges, both technical and organizational.

Slides and video.

Ocsigen: Exploiting the full power of OCaml in Web Programming, by Vincent Balat

Vincent Balat is "maître de conférences" (lecturer/assistant professor) in Computer Science at Paris Diderot university (Paris 7).

Ocsigen is a research project of the PPS lab (Université Paris Diderot) aiming at developing new programming techniques for the Web. It concretized through the implementation of a full featured Web server in Objective Caml, and a Web programming library called Eliom introducing very new concepts for building dynamic Web sites. Ocsigen is now very close to version 1. In this talk I will try to give an overview of the project and to give an idea about what programming with Eliom looks like.

Slides | Full source code of the example | Ocsigen | Video

GODI, by Gerd Stolpmann

Gerd Stolpmann is an OCaml enthusiast since 1997, and works now as consultant for various companies.

This talk gives an overview over the GODI project. The basic mechanisms of GODI are explained, especially how to create new packages, and what's generally happening behind the user interface.

Slides | Video

ocamlbuild, by Nicolas Pouillard

Nicolas Pouillard is an OCaml developer, working for Gallium since two years, he has made a renovation of Camlp4 and also developed ocamlbuild with Berke Durak.

This talk presents ocamlbuild, a compilation manager that was added to the OCaml distribution in the 3.10.0 release. It automates the (re)compilation and dependency analysis for OCaml projects. It implements the so-called "cut-off" strategy, reducing the amount of recompilation performed. For simple projects, ocamlbuild's built-in compilation rules entirely automate the build process: no "Makefile" is needed. Variations on the built-in rules can be specified compactly through a "tag" mechanism. For more advanced projects, ocamlbuild can be extended through plug-ins written in OCaml itself.

Slides | Video

OCaml in Debian, by Sylvain Le Gall

Sylvain Le Gall is a Debian Developer working on OCaml packages since 2003 and OCaml programmer since 2000.

This talk is about how OCaml is integrated into the Debian GNU/Linux distribution. Through an historical point of view, we will see how the packaging has evolve during years. It will also explain the challenge that the OCaml packaging team still need to overcome to have a better support of this programming language.

Slides | Video

OCaml on a JVM using OCaml-Java, by Xavier Clerc

Xavier Clerc is an OCaml enthusiast trying to enhance OCaml with Java libraries.

This talk is about the OCaml-Java project and its subprojects. It will show how it is possible to run OCaml programs on a Java platform (as applications, applets, or servlets) and how Java libraries can then be used from OCaml. It will discuss the present state of the project (features, compatibility), as well as its future (enhancements, roadmap).

Slides | Video


  • Sylvain Le Gall
  • Berke Durak
  • Richard W.M. Jones
  • Nicolas Pouillard
  • Vincent Balat
  • Olivier Grisel
  • Mehdi Dogguy
  • Gerd Stolpmann
  • Martin Jambon
  • Jaap Boender
  • Xavier Clerc
  • Stéphane Glondu
  • Ralf Treinen
  • Gabriel Kerneis
  • David Teller
  • Pierre Letouzey
  • Cecile Stentzel
  • Olivier Andrieu
  • Pierre Chambart
  • Jérémie Dimino
  • Keiko Nakata
  • Pietro Abate
  • Benjamin Canou
  • Christophe Troestler
  • Philippe Wang
  • Jean-Christophe Filliâtre
  • Wolfgang Beck
  • Luca Saiu
  • Raja Boujbel
  • Guillaume Bau
  • Alain Frisch
  • Pierre Magistry
  • Tahina Ramananandro
  • Romain Bardou
  • Arnaud Spiwack
  • Vincent Gross
  • Virgile Prevosto
  • Damien Doligez
  • Louis Mandel
  • Xavier Leroy
  • Gabriel Scherer
  • Jean-Vincent Loddo
  • Jonathan Derque
  • Vivien Ravet
  • Zheng Li
  • Pierre Clairambault
  • Mattias Engdegård
  • Mathias Kende
  • Johannes Kanig
  • Aurelien Gilles
  • Alexandre Poirot
  • Loïc Boisseau
  • Glenn Rolland

Organization team

Team list:

  • Sylvain Le Gall, main contact
  • Vincent Balat
  • Gabriel Kerneis