Matthijs Vákár

1. On S-Finite Measures and Kernels
   2018/10/03 by Matthijs Vákár, Vákár, Matthijs, C.-H. Luke Ong +1 · 2 citations
   Economics, Econometrics and Finance · Mathematics · #FOS: Mathematics #Mathematical Analysis and Transform Methods #Probability (math.PR) #Stochastic processes and financial applications #advanced mathematical theories
2. In Search of Effectful Dependent Types
   2017/06/24 by Matthijs Vákár, Vákár, Matthijs · 1 citation
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. CHAD: Combinatory Homomorphic Automatic Differentiation
   2021/03/29 by Matthijs Vákár, Tom Smeding, Vákár, Matthijs +1 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
4. Correctness of Automatic Differentiation via Diffeologies and\n Categorical Gluing
   2020/01/07 by Mathieu Huot, Huot, Mathieu, Sam Staton +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
5. A Framework for Dependent Types and Effects
   2015/12/25 by Matthijs Vákár, Vákár, Matthijs · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
6. An Effectful Treatment of Dependent Types
   2016/03/14 by Matthijs Vákár, Vákár, Matthijs · 1 citation
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
7. Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas
   2024/05/13 by Fernando Lucatelli Nunes, Matthijs Vákár, Nunes, Fernando Lucatelli +1 · 1 citation
   Engineering · Mathematics · #03B70 #03F03 #03F52 #18A22 #18A40 #18C10 #18D10 #18F10 #18N10 #68Q55 #Advanced Numerical Analysis Techniques #Category Theory (math.CT) #F.1.1 #F.3.2 #F.3.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Rings, Modules, and Algebras
8. Simply Typed Reverse-Mode Automatic Differentiation with Variants: Denotational Correctness via Idempotent Completion
   2026/07/16 by Fernando Lucatelli Nunes, Diogo Simm, Matthijs Vákár
   #cs.PL #cs.LO #math.CT