26 citations · 47 across the 5 of their papers we have counts for
5 papers
Tail Modulo Cons, OCaml, and Relational Separation Logic
Clément Allain, Frédéric Bour, Basile Clément +2
Common functional languages incentivize tail-recursive functions, as opposed to general recursive functions that consume stack space and may not scale to large inputs. This distinc…
Tail Modulo Cons
Frédéric Bour, Basile Clément, Gabriel Scherer
OCaml function calls consume space on the system stack. Operating systems set default limits on the stack space which are much lower than the available memory. If a program runs ou…
CAMLroot: revisiting the OCaml FFI
Frédéric Bour
The OCaml language comes with a facility for interfacing with C code -- the Foreign Function Interface or FFI. The primitives for working with the OCaml runtime -- and, in particul…
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…
Modular implicits
Leo White, Frédéric Bour, Jeremy Yallop
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-d…