Not registered as user yet

Name: Yufei Cai

Affiliation: University of Tuebingen

POPL 2018 Activities

• Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track in POPL 2018
• Show activities from other conferences