• Sign in
  • Sign up
conf.researchr.org / Matthijs Vákár
  • ICFP 2018 profile
  • POPL 2018 profile
  • POPL 2019 profile
Matthijs Vákár

Registered user since Wed 1 Nov 2017

Name: Matthijs Vákár

Affiliation: University of Oxford

Contributions

LAFI 2019 Invited Speaker of Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan within the LAFI (né PPS)-track
POPL 2019 Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018 Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
PPS 2018 Author 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 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track

Share
xSun 11 Apr 23:46
using conf.researchr.org (v1.44.3)
Support page
Sign Up