Matthijs Vákár

Most-cited papers

A domain theory for statistical probabilistic programming
Matthijs Vákár, Ohad Kammar, S. Staton
2018Proc. ACM Program. Lang.95 citations Open access
Semantic Scholar
Denotational validation of higher-order Bayesian inference
A. Scibior, Ohad Kammar, Matthijs Vákár, S. Staton +6 more
2017Proc. ACM Program. Lang.78 citations Open access
Semantic Scholar
A Categorical Semantics for Linear Logical Frameworks
Matthijs Vákár
2015Foundations of Software Science and Computation Structure31 citations Open access
Semantic Scholar
Conditional Independence by Typing
Maria I. Gorinova, A. Gordon, Charles Sutton, Matthijs Vákár
2020ACM Transactions on Programming Languages and Systems22 citations Open access
Semantic Scholar
In Search of Effectful Dependent Types
Matthijs Vákár
2017arXiv.org18 citations
Semantic Scholar
Syntax and Semantics of Linear Dependent Types
Matthijs Vákár
2014arXiv.org15 citations
Semantic Scholar
Games for Dependent Types
S. Abramsky, R. Jagadeesan, Matthijs Vákár
2015International Colloquium on Automata, Languages and Programming14 citations
Semantic Scholar
A Framework for Dependent Types and Effects
Matthijs Vákár
2015arXiv.org10 citations
Semantic Scholar
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
T. Smeding, Matthijs Vákár
2023Proc. ACM Program. Lang.9 citations Open access
Semantic Scholar
Slamming the sham: A Bayesian model for adaptive adjustment with noisy control data
A. Gelman, Matthijs Vákár
2019Statistics in Medicine6 citations Open access
Semantic Scholar
Game semantics for dependent types
Matthijs Vákár, R. Jagadeesan, S. Abramsky
2018Information and Computation6 citations Open access
Semantic Scholar
S-finite Kernels and Game Semantics for Probabilistic Programming
Luke Ong, Matthijs Vákár
20184 citations
Semantic Scholar
An Effectful Treatment of Dependent Types
Matthijs Vákár
2016arXiv.org2 citations
Semantic Scholar
Topos-Theoretic Approaches to Quantum Theory
Matthijs Vákár
20122 citations
Semantic Scholar
Principal Bundles and Gauge Theories
Matthijs Vákár
20112 citations
Semantic Scholar
Interpreting Lion Behaviour as Probabilistic Programs
Neil Dhir, Matthijs Vákár, M. Wijers, A. Markham +1 more
2017Conference on Uncertainty in Artificial Intelligence1 citations
Semantic Scholar
O ct 2 02 1 Topos-Theoretic Approaches to Quantum Theory Part III Essay
Matthijs Vákár
20210 citations
Semantic Scholar
CHAD for Expressive Total Languages
Fernando Lucatelli Nunes, Matthijs Vákár
2021arXiv.org0 citations
Semantic Scholar
Explorer Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton +6 more
20180 citations
Semantic Scholar
Interpreting Lion Behaviour as Probabilistic Programs.
Neil Dhir, Matthijs Vákár, M. Wijers, Andrew Markham +1 more
2017Conference on Uncertainty in Artificial Intelligence0 citations
Semantic Scholar