Guido Martínez
发表
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Alejandro Díaz-Caro,
Guido Martínez,
Alejandro Díaz-Caro,
2017,
LSFA.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Nikhil Swamy,
Catalin Hritcu,
Jonathan Protzenko,
2016,
POPL.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Artifact Digital Object Group.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..
Mauro Jaskelioff,
Guido Martínez,
Guido De Luca,
2018,
Haskell@ICFP.