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
892019
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
752018
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
M Huot, S Staton, M Vákár
FoSSaCS, 319-338, 2020
512020
A categorical semantics for linear logical frameworks
M Vákár
Foundations of Software Science and Computation Structures: 18th …, 2015
292015
In search of effectful dependent types
M Vákár
DPhil thesis, University of Oxford; arXiv preprint arXiv:1706.07997, 2017
252017
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
M Vákár
Programming Languages and Systems30th European Symposium on Programming …, 2021
222021
Games for dependent types
S Abramsky, R Jagadeesan, M Vákár
International Colloquium on Automata, Languages, and Programming, 31-43, 2015
212015
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
172021
Syntax and semantics of linear dependent types
M Vákár
arXiv preprint arXiv:1405.0033, 2014
172014
CHAD: Combinatory homomorphic automatic differentiation
M Vákár, T Smeding
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-49, 2022
162022
Higher order automatic differentiation of higher order functions
M Huot, S Staton, M Vákár
Logical Methods in Computer Science 18, 2022
132022
Denotational correctness of foward-mode automatic differentiation for iteration and recursion
M Vákár
arXiv preprint arXiv:2007.05282, 2020
132020
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
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
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
A framework for dependent types and effects
M Vákár
arXiv preprint arXiv:1512.08009, 2015
72015
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
CHAD for expressive total languages
FL Nunes, M Vákár
Mathematical Structures in Computer Science 33 (4-5), 311-426, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20