Travelled to:1 × United Kingdom
Collaborated with:K.Ostermann P.G.Giarrusso T.Rendel A.Scibior O.Kammar M.Vákár S.Staton H.Yang Sean K. Moss C.Heunen Z.Ghahramani
Talks about:higher (2) order (2) equirecurs (1) differenti (1) increment (1) bayesian (1) program (1) languag (1) generic (1) datatyp (1)
Person: Yufei Cai
DBLP: Cai:Yufei
Contributed to:
2014
20162018Wrote 3 papers:
- PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
- POPL-2016-CaiGO #data type #programming #recursion
- System f-omega with equirecursive types for datatype-generic programming (YC, PGG, KO), pp. 30–43.
- POPL-2018-ScibiorKVSYCOMH #higher-order #validation
- Denotational validation of higher-order Bayesian inference (AS, OK, MV, SS, HY, YC, KO, SKM, CH, ZG), p. 29.