Concepedia

Matthijs Vákár

MV

6

Publications

119

Citations

6

H-Index

2014

Active since

Affiliations

University of Oxford(Current)

Utrecht University

Matthijs Vákár is an author at University of Oxford specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningProgram AnalysisSemanticsComputer ScienceFormal VerificationProgramming LanguagesSyntaxLanguage

Publications per year

2014–2023

6

Publications

6

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár et al. · Proceedings of the ACM on Programming Languages · 2017 · 62 citations · Full text

Engineering, Machine Learning, Probabilistic Computation +17

CHAD: Combinatory Homomorphic Automatic Differentiation

Matthijs Vákár, Tom Smeding · ACM Transactions on Programming Languages and Systems · 2022 · 14 citations · Full text

Engineering, Verification, Expressive Languages +18

Syntax and Semantics of Linear Dependent Types

Matthijs Vákár · arXiv (Cornell University) · 2014 · 13 citations · Full text

Syntax, Linear Dependent Types, Engineering +12

In Search of Effectful Dependent Types

Matthijs Vákár · arXiv (Cornell University) · 2017 · 10 citations · Full text

Engineering, Type Theory, Program Efficiency +18

Higher Order Automatic Differentiation of Higher Order Functions

Mathieu Huot, Sam Staton, Matthijs Vákár · Logical Methods in Computer Science · 2022 · 10 citations · Full text

Numerical Analysis, Engineering, Higher Order Derivatives +17

Rows per page

1–5 of 6