Scholar
Matthijs Vákár
Google Scholar ID: aN1dMvMAAAAJ
Assistant Professor, Utrecht University
Probabilistic Programming
Programming Languages
Probabilistic Machine Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
706
H-index
15
i10-index
19
Publications
20
Co-authors
0
Publications
6 items
Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects
2026
Cited
0
Simply Typed Reverse-Mode AD with Variants: Denotational Correctness via Idempotent Completion
2026
Cited
0
Unraveling the iterative CHAD
2025
Cited
0
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
arXiv.org · 2024
Cited
2
Parallel Dual-Numbers Reverse AD
2022
Cited
9
Higher Order Automatic Differentiation of Higher Order Functions
Log. Methods Comput. Sci. · 2021
Cited
14
