Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 14:00 - 14:30 at Sala VI - C Chair(s): Sophia Gold

Carefully reifying the differential-geometric pushforward and pullback operators as forward and reverse AD clarifies the relationship between forward and reverse AD, and allows the formalization of AD of higher-order functions. We discuss the relationship between the differential-geometric constructs and the usual practice of just lifting all reals to duals, focusing on how they differ in the case of higher-order functions.