Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gaetan Gilbert
conf.researchr.org general profile
ICSE 2023 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Gaetan Gilbert
Contributions
2026
RocqPL
Panelist of Session with the Rocq Development Team within the Rocq for Programming Languages 2026-track
2025
POPL
Author of All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants within the POPL-track
2023
BoatSE
Author of The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report within the BotSE 2023-track
Share
x
Sat 18 Jul 07:18