TY  - RPRT
TI  - Efficient and Sound Differentiable Programming in a Functional Array-Processing Language
AU  - Amir Shaikhha
AU  - Mathieu Huot
AU  - Shabnam Ghasemirad
AU  - Andrew Fitzgibbon
AU  - Simon Peyton Jones
AU  - Dimitrios Vytiniotis
PY  - 2022
UR  - https://arxiv.org/abs/2212.10307
ID  - 2212.10307
ER  -