You Only Linearize Once: Tangents Transpose to Gradients

Partial computation of programs. In RIMS Symposia on Software Science and Engineering , Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, and Akinori Yonezawa (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1–35

Yoshihiko Futamura. 1983 · 1983

Earlier work this paper cites.

Reasoning about Programs in Continuation-Passing Style

Amr Sabry and Matthias Felleisen. 1992 · 1992

Earlier work this paper cites.

Partial Evaluation and Automatic Program Generation

Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993 · 1993

Earlier work this paper cites.

Functional Differentiation of Computer Programs. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (Baltimore, Maryland, USA) (ICFP ’98) . Association for Computing Machinery, New York, NY, USA, 195–203

Jerzy Karczmarczuk. 1998 · 1998

Earlier work this paper cites.

ADOL-C: Automatic Differentiation Using Operator Overloading in C++

Andrea Walther, Andreas Griewank, and Olaf Vogel. 2003 · 2003

Earlier work this paper cites.

Automatic Differentiation, C++ Templates, and Photogrammetry

Dan Piponi. 2004 · 2004

Earlier work this paper cites.

Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation (second ed.)

Andreas Griewank and Andrea Walther. 2008 · 2008

Earlier work this paper cites.

Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator

Barak A Pearlmutter and Jeffrey Mark Siskind. 2008a · 2008

Earlier work this paper cites.

Reverse-Mode AD in a Functional Framework: Lambda the Ultimate Backpropagator

Barak A. Pearlmutter and Jeffrey Mark Siskind. 2008b · 2008

Cited alongside, same era.

Beautiful Differentiation. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (Edinburgh, Scotland) (ICFP ’09) . Association for Computing Machinery, New York, NY, USA, 191–202

Conal M. Elliott. 2009 · 2009

Cited alongside, same era.

Two Tricks for the Price of One: Linear Filters and Their Transposes

Dan Piponi. 2009 · 2009

Cited alongside, same era.

JAX: composable transformations of Python+NumPy programs

James Bradbury, Roy Frostig, Peter Hawkins, Matthew James Johnson, Chris Leary, Dougal Maclaurin, George Necula, Adam Paszke, Jake VanderPlas, Skye Wanderman-Milne, and Qiao Zhang. 2018 · 2018

Cited alongside, same era.

The Simple Essence of Automatic Differentiation

Conal Elliott. 2018 · 2018

Cited alongside, same era.

Backpropagation in the Simply Typed Lambda-Calculus with Linear Negation

Aloïs Brunel, Damiano Mazza, and Michele Pagani. 2019 · 2019

Later among the works it cites.

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator

Original

Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf. 2019 · 2019

Later among the works it cites.

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. In Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes in Computer Science, Vol. 12077) , Jean Goubault-Larrecq and Barbara König (Eds.). Springer, 319–338

Mathieu Huot, Sam Staton, and Matthijs Vákár. 2020 · 2020

Later among the works it cites.

Decomposing reverse-mode automatic differentiation. In LAFI: POPL workshop on Languages for Inference . Association for Computing Machinery, New York, NY, USA