Matthijs Vákár

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 32

Top Venues

CoRR

Proc. ACM Program. Lang.

FoSSaCS

ACM Trans. Program. Lang. Syst.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Fernando Lucatelli Nunes, Matthijs Vákár
Free Doubly-Infinitary Distributive Categories are Cartesian Closed. CoRR (2024)
Tom Smeding, Matthijs Vákár
Efficient CHAD. Proc. ACM Program. Lang. 8 (POPL) (2024)
Fernando Lucatelli Nunes, Matthijs Vákár
Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas. CoRR (2024)
Tom Smeding, Matthijs Vákár
Efficient CHAD. CoRR (2023)
Fernando Lucatelli Nunes, Matthijs Vákár
CHAD for expressive total languages. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Tom Smeding, Matthijs Vákár
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. Proc. ACM Program. Lang. 7 (POPL) (2023)
Fernando Lucatelli Nunes, Matthijs Vákár
Automatic Differentiation for ML-family languages: correctness via logical relations. CoRR (2022)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Conditional Independence by Typing. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. Log. Methods Comput. Sci. 18 (1) (2022)
Fernando Lucatelli Nunes, Matthijs Vákár
Logical Relations for Partial Features and Automatic Differentiation Correctness. CoRR (2022)
Matthijs Vákár, Tom Smeding
CHAD: Combinatory Homomorphic Automatic Differentiation. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Tom Smeding, Matthijs Vákár
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. CoRR (2022)
Tom Smeding, Matthijs Vákár
Dual-Numbers Reverse AD, Efficiently. CoRR (2022)
Matthijs Vákár
CHAD: Combinatory Homomorphic Automatic Differentiation. CoRR (2021)
Fernando Lucatelli Nunes, Matthijs Vákár
CHAD for Expressive Total Languages. CoRR (2021)
Matthijs Vákár
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. ESOP (2021)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. CoRR (2021)
Matthijs Vákár
Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion. CoRR (2020)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. FoSSaCS (2020)
Matthijs Vákár
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. CoRR (2020)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. CoRR (2020)
Ryan Bernstein, Matthijs Vákár, Jeannette Wing
Transforming Probabilistic Programs for Model Checking. FODS (2020)
Ryan Bernstein, Matthijs Vákár, Jeannette Wing
Transforming Probabilistic Programs for Model Checking. CoRR (2020)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Conditional independence by typing. CoRR (2020)
Matthijs Vákár, Ohad Kammar, Sam Staton
A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang. 3 (POPL) (2019)
Matthijs Vákár, Ohad Kammar, Sam Staton
A Domain Theory for Statistical Probabilistic Programming. CoRR (2018)
Matthijs Vákár, Radha Jagadeesan, Samson Abramsky
Game semantics for dependent types. Inf. Comput. 261 (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Neil Dhir, Matthijs Vákár, Matthew Wijers, Andrew Markham, Frank D. Wood
Interpreting Lion Behaviour as Probabilistic Programs. UAI (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Matthijs Vákár
In Search of Effectful Dependent Types. CoRR (2017)
Matthijs Vákár
An Effectful Treatment of Dependent Types. CoRR (2016)
Matthijs Vákár
A Categorical Semantics for Linear Logical Frameworks. CoRR (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. CoRR (2015)
Matthijs Vákár
A Categorical Semantics for Linear Logical Frameworks. FoSSaCS (2015)
Matthijs Vákár
A Framework for Dependent Types and Effects. CoRR (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. ICALP (2) (2015)
Matthijs Vákár
Syntax and Semantics of Linear Dependent Types. CoRR (2014)

Matthijs Vákár.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthijs Vákár