Guido Martínez
发表
Guido Martínez,
2020
.
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2020
.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Alejandro Díaz-Caro,
Guido Martínez,
Alejandro Díaz-Caro,
2017,
LSFA.