Follow
Matthijs Vákár
Title
Cited by
Cited by
Year
A Domain Theory for Statistical Probabilistic Programming
M Vákár, O Kammar, S Staton
Principles of Programming Languages 2019, 2019
942019
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
822018
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
M Huot, S Staton, M Vákár
FoSSaCS, 319-338, 2020
542020
A categorical semantics for linear logical frameworks
M Vákár
Foundations of Software Science and Computation Structures: 18th …, 2015
302015
In search of effectful dependent types
M Vákár
DPhil thesis, University of Oxford; arXiv preprint arXiv:1706.07997, 2017
272017
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
M Vákár
Programming Languages and Systems30th European Symposium on Programming …, 2021
252021
Games for dependent types
S Abramsky, R Jagadeesan, M Vákár
International Colloquium on Automata, Languages, and Programming, 31-43, 2015
212015
Syntax and semantics of linear dependent types
M Vákár
arXiv preprint arXiv:1405.0033, 2014
212014
CHAD: Combinatory homomorphic automatic differentiation
M Vákár, T Smeding
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-49, 2022
182022
Conditional independence by typing
MI Gorinova, AD Gordon, C Sutton, M Vákár
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-54, 2021
182021
Higher order automatic differentiation of higher order functions
M Huot, S Staton, M Vákár
Logical Methods in Computer Science 18, 2022
17*2022
Denotational correctness of forward-mode automatic differentiation for iteration and recursion
M Vákár
arXiv preprint arXiv:2007.05282, 2020
14*2020
Efficient dual-numbers reverse AD via well-known program transformations
TJ Smeding, MIL Vákár
Proceedings of the ACM on Programming Languages 7 (POPL), 1573-1600, 2023
122023
CHAD for expressive total languages
FL Nunes, M Vákár
Mathematical Structures in Computer Science 33 (4-5), 311-426, 2023
11*2023
On s-finite measures and kernels
M Vákár, L Ong
arXiv preprint arXiv:1810.01837, 2018
102018
The semantic structure of quasi-Borel spaces
C Heunen, O Kammar, S Staton, S Moss, M Vákár, A Scibior, H Yang
PPS Workshop on Probabilistic Programming Semantics, 2018
102018
A framework for dependent types and effects
M Vákár
arXiv preprint arXiv:1512.08009, 2015
102015
Interpreting Lion Behaviour with Nonparametric Probabilistic Programs
N Dhir, M Vákár, A Markham, M Wijers, P Trethowan, B Du Preez, ...
UAI 2017, 2017
82017
Game semantics for dependent types
M Vákár, R Jagadeesan, S Abramsky
Information and Computation 261, 401-431, 2018
72018
S-finite kernels and game semantics for probabilistic programming
L Ong, M Vákár
POPL 2018 Workshop on Probabilistic Programming Semantics (PPS), 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20