51 citations · 113 across the 16 of their papers we have counts for
3 papers · 1 filter
Unboxing Mutually Recursive Type Definitions in OCaml
Simon Colin, Rodolphe Lepigre, Gabriel Scherer
In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can sometimes be `unboxed'. This means that their memory re…
A Practical Mode System for Recursive Definitions
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
In call-by-value languages, some mutually-recursive value definitions can be safely evaluated to build recursive functions or cyclic data structures, but some definitions (let rec…
Merlin: A Language Server for OCaml (Experience Report)
Frédéric Bour, Thomas Refis, Gabriel Scherer
We report on the experience of developing Merlin, a language server for the OCaml programming language in development since 2013. Merlin is a daemon that connects to your favourite…