Modular implicits. - Leo White; Frédéric Bour; Jeremy Yallop (ML/OCaml, 2014)

CAMLroot: revisiting the OCaml FFI. - Frédéric Bour (CoRR, 2018)

Merlin: a language server for OCaml (experience report). - Frédéric Bour; Thomas Refis; Gabriel Scherer (Proc. ACM Program. Lang., 2018)

Faster reachability analysis for LR(1) parsers. - Frédéric Bour; François Pottier (SLE, 2021)

Tail Modulo Cons. - Frédéric Bour; Basile Clément; Gabriel Scherer (CoRR, 2021)

Tail Modulo Cons, OCaml, and Relational Separation Logic. - Clément Allain; Frédéric Bour; Basile Clément; François Pottier; Gabriel Scherer (Proc. ACM Program. Lang., 2025)