Matthijs Vákár

42 papers A 2B 2Journal 35Unranked 2

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