@article{krawiec-2022-provably, title={Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation}, volume={6}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3498710}, DOI={10.1145/3498710}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Krawiec, Faustyna and Peyton Jones, Simon and Krishnaswami, Neel and Ellis, Tom and Eisenberg, Richard A. and Fitzgibbon, Andrew}, year={2022}, month=Jan, pages={1–30} }