Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Matthijs Vákár

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence May 2025

Unraveling the iterative CHAD

This work extends CHAD to programs with partial operations, data-dependent conditionals, and while-loops, preserving its defining principle of structure-preserving semantics and introduces iteration-extensive indexed categories, which integrate iteration into dependently typed programming languages.

Fernando Lucatelli Nunes, Gordon D. Plotkin, Matthijs Vákár · 1 citation
Jul 2026

Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects

The construction is formulated in the framework of Combinatory Homomorphic Automatic Differentiation (CHAD), treating AD as a structure-preserving transformation of programs, guided by a denotational semantics, and gives a reusable pattern for differentiating discrete-output algebraic effects.

D. Simm, Fernando Lucatelli Nunes, Matthijs Vákár · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.