Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yufei Cai
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
Not registered as user
Name:
Yufei Cai
Affiliation:
University of Tuebingen
Contributions
2018
POPL
Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
2017
LAFI
Author of Building inference algorithms from monad transformers within the PPS-track
2016
POPL
Author of System Fω with Equirecursive Types for Datatype-generic Programming within the Research Papers-track
Share
x
Sun 22 Dec 11:39