Article,

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.

, , , , , and .
Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews