We stand with Ukraine  

Frédéric Bour

Orcid: 0009-0007-5268-5784

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Tail Modulo Cons, OCaml, and Relational Separation Logic.
[BibTeX]
[DOI]
Clément Allain
,
Frédéric Bour
,
Basile Clément
,
François Pottier
,
Gabriel Scherer
Proc. ACM Program. Lang., 2025

2024
LRGrep: selecting error messages for LR parsers. (LRGrep: sélection de messages d'erreur pour les analyseurs LR).
[BibTeX]
[DOI]
Frédéric Bour
PhD thesis, 2024

2021
Tail Modulo Cons.
[BibTeX]
[DOI]
Frédéric Bour
,
Basile Clément
,
Gabriel Scherer
CoRR, 2021

Faster reachability analysis for LR(1) parsers.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Frédéric Bour
,
Thomas Refis
,
Gabriel Scherer
Proc. ACM Program. Lang., 2018

CAMLroot: revisiting the OCaml FFI.
[BibTeX]
[DOI]
Frédéric Bour
CoRR, 2018

2014
Modular implicits.
[BibTeX]
[DOI]
Leo White
,
Frédéric Bour
,
Jeremy Yallop
Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014


  Loading...