TY  - RPRT
TI  - Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
AU  - Alexander K. Lew
AU  - Mathieu Huot
AU  - Vikash K. Mansinghka
PY  - 2021
UR  - https://arxiv.org/abs/2111.15456
ID  - 2111.15456
ER  -