Dual-Numbers Reverse AD, Efficiently. - Tom Smeding; Matthijs Vákár (CoRR, 2022)

CHAD: Combinatory Homomorphic Automatic Differentiation. - Matthijs Vákár; Tom Smeding (ACM Trans. Program. Lang. Syst., 2022)

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. - Tom Smeding; Matthijs Vákár (Proc. ACM Program. Lang., 2023)

Efficient CHAD. - Tom Smeding; Matthijs Vákár (Proc. ACM Program. Lang., 2024)

Comparing Parallel Functional Array Languages: Programming and Performance. - David P. van Balen; Tiziano De Matteis; Clemens Grelck; Troels Henriksen; Aaron W. Hsu; Gabriele K. Keller; Thomas Koopman; Trevor L. McDonell; Cosmin E. Oancea; Sven-Bodo Scholz; Artjoms Sinkarovs; Tom Smeding; et al. (CoRR, 2025)

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