Frédéric Bour

According to our database, Frédéric Bour authored at least 6 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

2021

Tail Modulo Cons.

Frédéric Bour, Basile Clément, Gabriel Scherer

CoRR, 2021

Faster reachability analysis for LR(1) parsers.

Frédéric Bour, François Pottier

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

2018

Merlin: a language server for OCaml (experience report).

Frédéric Bour, Thomas Refis, Gabriel Scherer

Proc. ACM Program. Lang., 2018

CAMLroot: revisiting the OCaml FFI.

Frédéric Bour

CoRR, 2018

2014

Modular implicits.

Leo White, Frédéric Bour, Jeremy Yallop

Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014