Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gaetan Gilbert
conf.researchr.org general profile
ICSE 2023 profile
POPL 2025 profile
Not registered as user
Name:
Gaetan Gilbert
Contributions
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 25 Oct 06:13