Théo Laurent
发表
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Benjamin C. Pierce,
Catalin Hritcu,
Ana Nora Evans,
2017,
ArXiv.