Carlo Angiuli
发表
Robert Harper,
Carlo Angiuli,
Evan Cavallo,
2018,
LFMTP@FSCD.
Robert Harper,
Carlo Angiuli,
Kuen-Bang Hou,
2018,
CSL.
Daniel Gratzer,
Carlo Angiuli,
Jonathan Sterling,
2020,
ArXiv.
Robert Harper,
Carlo Angiuli,
Todd Wilson,
2016,
ArXiv.
Carlo Angiuli,
Evan Cavallo,
Anders Mörtberg,
2020,
Proc. ACM Program. Lang..
Robert Harper,
Carlo Angiuli,
2016,
ArXiv.
Daniel Gratzer,
Carlo Angiuli,
Jonathan Sterling,
2019,
FSCD.
Robert Harper,
Carlo Angiuli,
Todd Wilson,
2017,
POPL.
Robert Harper,
Carlo Angiuli,
Kuen-Bang Hou,
2017,
ArXiv.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2014,
ICFP.
Umut A. Acar,
Carlo Angiuli,
Kayvon Fatahalian,
2016,
ESOP.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2016,
J. Funct. Program..
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2021,
Mathematical Structures in Computer Science.
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2017
.