conf.researchr.org / Matthijs Vákár
Matthijs Vákár

Registered user since Wed 1 Nov 2017

Name: Matthijs Vákár

Affiliation: University of Oxford

Contributions

LAFI 2019Invited speaker of Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan within the LAFI (né PPS)-track
POPL 2019Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
PPS 2018Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
Author of Game Semantics for Probabilistic Programs within the PPS 2018-track
POPL 2018Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track