Research

Contents


Papers

Nottui & Lwd - A friendly toolkit for the ML programmer

CAMLroot: revisiting the OCaml FFI (01/2019, JFLA 2019)

Some lessons on how to make safer bindings between C and OCaml, learned from the implementation of an OCaml binding to the Qt framework.

Paper, Slides (french) presented to a Gallium seminar on 21-01-2019, Slides (english)

Merlin: A Language Server for OCaml (Experience Report, ICFP 2018)

Merlin does interactive analysis of OCaml programs to provide IDE services that need semantic knowledge: completion and type-checking of identifiers, locating definitions, etc.

Paper

Wall (OCaml workshop 2018)

Inuit (OCaml workshop 2016)

Modular implicits (Proceedings ML/OCaml 2014)

Modular implicits is an extension of OCaml that brings ad-hoc polymorphism to the language. It is an alternative to Scala’s implicit and Haskell’s type classes, better suited to ML-style module systems.

Paper

TODO: Poster at PPM 2016?

Merlin (OCaml Workshop 2013)

OCaml Users in Paris