Théo Laurent
发表
Mathieu Jaume,
Théo Laurent,
2014,
F-IDE.
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Benjamin C. Pierce,
Catalin Hritcu,
Ana Nora Evans,
2017,
ArXiv.