Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh 0001, Sasa Misailovic. A general construction for abstract interpretation of higher-order automatic differentiation. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1007-1035, 2022. [doi]
Abstract is missing.