Dual-Numbers Reverse AD for Functional Array Languages. - Tom Smeding; Mikolaj Konarski; Simon Peyton Jones; Andrew W. Fitzgibbon (CoRR, 2025)