Matthijs Vákár
Scholar

Matthijs Vákár

Google Scholar ID: aN1dMvMAAAAJ
Assistant Professor, Utrecht University
Probabilistic ProgrammingProgramming LanguagesProbabilistic Machine Learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
706
 
H-index
15
 
i10-index
19
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)