Matthijs Vákár
Author
Alternate names Matthijs Vákár, Matthijs I. L. Vákár
Institution Utrecht University
Past institutions Utrecht University, Columbia University, University of Oxford
ORCID: Yes
H-index: 9
I10-index: 8
Works count: 48
Citations count: 275
Denotational validation of higher-order Bayesian inference
2017 · Adam Ścibior, Ohad Kammar, et al. · Proceedings of the ACM on Programming Languages
A domain theory for statistical probabilistic programming
2019 · Matthijs Vákár, Ohad Kammar, et al. · Proceedings of the ACM on Programming Languages
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
2020 · Mathieu Huot, Sam Staton, et al. · Lecture notes in computer science