Basil Hosmer
发表
Erik Meijer,
Kartik Chandra,
Johann George,
2019,
ArXiv.
Avik Chaudhuri,
Aseem Rastogi,
Basil Hosmer,
2012,
POPL '12.