Yufei Cai
发表
Ohad Kammar,
Hongseok Yang,
Zoubin Ghahramani,
2017,
Proc. ACM Program. Lang..
Leizhen Cai,
Yufei Cai,
2014,
Algorithmica.
Yufei Cai,
Bo Lei,
Pu Hong,
2014,
Other Conferences.
Leizhen Cai,
Yufei Cai,
L. Cai,
2013,
IPEC.
Klaus Ostermann,
Yufei Cai,
Paolo G. Giarrusso,
2013
.
Klaus Ostermann,
Yufei Cai,
Paolo G. Giarrusso,
2016,
POPL.
Guangmin Hu,
Xingmiao Yao,
Yufei Cai,
2020
.
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation
Klaus Ostermann,
Yufei Cai,
Paolo G. Giarrusso,
2013,
PLDI.
Guangmin Hu,
Fucai Yu,
Yufei Cai,
2019,
SEG Technical Program Expanded Abstracts 2019.