A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation

Published in OOPSLA, 2022

Recommended citation: Jacob Laurel, Rem yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022. /files/oopsla-higher.pdf