Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Semantically correct automatic differentiation

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

CHAD: Combinatory Homomorphic Automatic Differentiation

Author(s): Vákár, Matthijs; Smeding, Tom
Published in: TOPLAS, Issue 1, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

Conditional Independence by Typing (opens in new window)

Author(s): Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Published in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3490421

Higher Order Automatic Differentiation of Higher Order Functions

Author(s): Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Published in: Logical Methods in Computer Science, Issue Volume 18, Issue 1, 2022, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Author(s): Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Published in: 2020
Publisher: Springer

Transforming Probabilistic Programs for Model Checking

Author(s): Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Published in: 2020
Publisher: ACM

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Author(s): Matthijs Vákár
Published in: 2021
Publisher: Springer

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0