Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frédéric Bour
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
POPL 2025 profile
SPLASH 2021 profile
Registered user since Sat 14 Jan 2017
Name:
Frédéric Bour
Country:
France
Affiliation:
Tarides
Personal website:
https://def.lakaban.net
Contributions
2025
POPL
Author of Tail Modulo Cons, OCaml, and Relational Separation Logic within the POPL-track
2021
SLE
Author of Faster Reachability Analysis for LR(1) Parsers within the SLE-track
ML
Committee Member in Program Committee within the ML 2021-track
OCaml
Committee Member in Organizing Committee within the OCaml 2021-track
PC Chair in Program Committee within the OCaml 2021-track
2020
ML
Author of Nottui & Lwd: A friendly UI toolkit for the ML-programmer within the ML 2020-track
OCaml
Volunteer in Organizing Committee within the OCaml 2020-track
2018
ICFP
Author of Merlin: A Language Server for OCaml (Experience Report) within the Research Papers-track
OCaml
Author of Wall: rendering vector graphics with OCaml and OpenGL within the OCaml 2018-track
Author of Abusing Format for fun and profits within the OCaml 2018-track
2017
OCaml
Committee Member in Program Committee within the OCaml 2017-track
2016
OCaml
Author of Inuit library: from printf to interactive user-interfaces within the OCaml-track
Share
x
Thu 12 Jun 21:12