Gaëtan Gilbert
发表
Olivier Hermant,
Gaëtan Gilbert,
O. Hermant,
2015
.
Nicolas Tabareau,
Matthieu Sozeau,
Jesper Cockx,
2019,
Proc. ACM Program. Lang..
Andrej Bauer,
Matija Pretnar,
Christopher A. Stone,
2016,
TYPES.
Gaëtan Gilbert,
2017,
CPP.