Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
| Title: | Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation |
|---|---|
| Authors: | Krawiec, Faustyna; Peyton Jones, Simon; Krishnaswami, Neel; Ellis, Tom; Eisenberg, Richard A.; Fitzgibbon, Andrew |
| Source: | Proceedings of the ACM on Programming Languages. 6(POPL):1-30 |
| Availability: | http://dl.acm.org/doi/10.1145/3498710 |
| Database: | ACM Full-Text Collection |