Skip to main content

Higher Order Automatic Differentiation of Higher Order Functions

Mathieu Huot‚ Sam Staton and Matthijs Vákár

Journal
Log. Methods Comput. Sci.
Number
1
Volume
18
Year
2022