Matthijs Vákár
Matthijs Vákár
Assistant Professor, Utrecht University
Verified email at cs.ox.ac.uk - Homepage
TitleCited byYear
Denotational validation of higher-order Bayesian inference
A Ścibior, O Kammar, M Vákár, S Staton, H Yang, Y Cai, K Ostermann, ...
POPL 2018, 2018
282018
A categorical semantics for linear logical frameworks
M Vákár
International Conference on Foundations of Software Science and Computation …, 2015
172015
A Domain Theory for Statistical Probabilistic Programming
M Vákár, O Kammar, S Staton
Principles of Programming Languages 2019, 2019
142019
Games for dependent types
S Abramsky, R Jagadeesan, M Vákár
International Colloquium on Automata, Languages, and Programming, 31-43, 2015
132015
Syntax and semantics of linear dependent types
M Vákár
arXiv preprint arXiv:1405.0033, 2014
102014
In search of effectful dependent types
M Vákár
arXiv preprint arXiv:1706.07997, 2017
92017
A framework for dependent types and effects
M Vákár
arXiv preprint arXiv:1512.08009, 2015
72015
Interpreting Lion Behaviour with Nonparametric Probabilistic Programs
N Dhir, M Vákár, A Markham, M Wijers, P Trethowan, B Du Preez, ...
UAI, 2017
42017
S-finite kernels and game semantics for probabilistic programming
L Ong, M Vákár
POPL 2018 Workshop on Probabilistic Programming Semantics (PPS), 2018
32018
Game semantics for dependent types
M Vákár, R Jagadeesan, S Abramsky
Information and Computation 261, 401-431, 2018
22018
On S-Finite Measures and Kernels
M Vákár, L Ong
arXiv preprint arXiv:1810.01837, 2018
12018
An effectful treatment of dependent types
M Vákár
arXiv preprint arXiv:1603.04298, 2016
12016
Slamming the sham: A Bayesian model for adaptive adjustment with noisy control data
A Gelman, M Vákár
arXiv preprint arXiv:1905.09693, 2019
2019
The semantic structure of quasi-Borel spaces
C Heunen, O Kammar, S Staton, S Moss, M Vákár, A Ścibior, H Yang
2018
Game Semantics for Dependent Types
S Abramsky, R Jagadeesan, M Vákár
2016
Topos-Theoretic Approaches to Quantum Theory
M Vákár
2012
Principal Bundles and Gauge Theories
M Vákár
Universiteit Utrecht, 2011
2011
Theory and Applications of Linear Dependent Types
M Vákár
The system can't perform the operation now. Try again later.
Articles 1–18