Rodolphe Lepigre
发表
Rodolphe Lepigre,
Rodolphe Lepigre,
2019,
TYPES.
Christophe Raffalli,
Rodolphe Lepigre,
2016,
ArXiv.
Christophe Raffalli,
Rodolphe Lepigre,
2018,
LFMTP@FSCD.
Rodolphe Lepigre,
Rodolphe Lepigre,
2016,
ESOP.
Rodolphe Lepigre,
2017,
TYPES.
Rodolphe Lepigre,
Rodolphe Lepigre,
2016,
ArXiv.
Derek Dreyer,
Ralf Jung,
Rodolphe Lepigre,
2020,
Proc. ACM Program. Lang..
Rodolphe Lepigre,
Gabriel Scherer,
Simon Colin,
2018,
ArXiv.
Rodolphe Lepigre,
2017
.
Christophe Raffalli,
Rodolphe Lepigre,
2017
.
Christophe Raffalli,
Rodolphe Lepigre,
Rodolphe Lepigre,
2019,
ACM Trans. Program. Lang. Syst..
Rodolphe Lepigre,
Gabriel Scherer,
Simon Colin,
2019
.
Derek Dreyer,
Robbert Krebbers,
Deepak Garg,
2021,
PLDI.