TY - RPRT TI - Dual-Numbers Reverse AD for Functional Array Languages AU - Tom Smeding AU - MikoĊ‚aj Konarski AU - Simon Peyton Jones AU - Andrew Fitzgibbon PY - 2025 UR - https://arxiv.org/abs/2507.12640 ID - 2507.12640 ER -