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 yet
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
BotSE
Author of The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report within the BotSE 2023-track
Share
x
Thu 21 Nov 12:39