Syntax and Semantics of Linear Dependent Types. - Matthijs Vákár (CoRR, 2014)

A Categorical Semantics for Linear Logical Frameworks. - Matthijs Vákár (FoSSaCS, 2015)

Games for Dependent Types. - Samson Abramsky; Radha Jagadeesan; Matthijs Vákár (ICALP (2), 2015)

A Framework for Dependent Types and Effects. - Matthijs Vákár (CoRR, 2015)

An Effectful Treatment of Dependent Types. - Matthijs Vákár (CoRR, 2016)

Interpreting Lion Behaviour as Probabilistic Programs. - Neil Dhir; Matthijs Vákár; Matthew Wijers; Andrew Markham; Frank D. Wood (UAI, 2017)

In Search of Effectful Dependent Types. - Matthijs Vákár (CoRR, 2017)

In search of effectful dependent types. - Matthijs Vákár (2017)

Game semantics for dependent types. - Matthijs Vákár; Radha Jagadeesan; Samson Abramsky (Inf. Comput., 2018)

Denotational validation of higher-order Bayesian inference. - Adam Scibior; Ohad Kammar; Matthijs Vákár; Sam Staton; Hongseok Yang; Yufei Cai; Klaus Ostermann; Sean K. Moss; Chris Heunen; Zoubin Ghahramani (Proc. ACM Program. Lang., 2018)

A domain theory for statistical probabilistic programming. - Matthijs Vákár; Ohad Kammar; Sam Staton (Proc. ACM Program. Lang., 2019)

Transforming Probabilistic Programs for Model Checking. - Ryan Bernstein; Matthijs Vákár; Jeannette M. Wing (FODS, 2020)

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. - Mathieu Huot; Sam Staton; Matthijs Vákár (FoSSaCS, 2020)

Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion. - Matthijs Vákár (CoRR, 2020)

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. - Matthijs Vákár (ESOP, 2021)

CHAD: Combinatory Homomorphic Automatic Differentiation. - Matthijs Vákár (CoRR, 2021)

Dual-Numbers Reverse AD, Efficiently. - Tom Smeding; Matthijs Vákár (CoRR, 2022)

Logical Relations for Partial Features and Automatic Differentiation Correctness. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2022)

Higher Order Automatic Differentiation of Higher Order Functions. - Mathieu Huot; Sam Staton; Matthijs Vákár (Log. Methods Comput. Sci., 2022)

Conditional Independence by Typing. - Maria I. Gorinova 001; Andrew D. Gordon 001; Charles Sutton; Matthijs Vákár (ACM Trans. Program. Lang. Syst., 2022)

CHAD: Combinatory Homomorphic Automatic Differentiation. - Matthijs Vákár; Tom Smeding (ACM Trans. Program. Lang. Syst., 2022)

CHAD for expressive total languages. - Fernando Lucatelli Nunes; Matthijs Vákár (Math. Struct. Comput. Sci., 2023)

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. - Tom Smeding; Matthijs Vákár (Proc. ACM Program. Lang., 2023)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2024)

Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2024)

Automatic differentiation for ML-family languages: Correctness via logical relations. - Fernando Lucatelli Nunes; Matthijs Vákár (Math. Struct. Comput. Sci., 2024)

Efficient CHAD. - Tom Smeding; Matthijs Vákár (Proc. ACM Program. Lang., 2024)

Unraveling the iterative CHAD. - Fernando Lucatelli Nunes; Gordon Plotkin; Matthijs Vákár (CoRR, 2025)