Automatic differentiation for ML-family languages: Correctness via logical relations      (Journal Article)

<Overall Information> Journal Name: Mathematical Structures in Computer Science Accept date: 2024-07-27 Doi: 10.1017/S0960129524000215 Volume: 34 Pages: 747-806 Revision: No