TY  - RPRT
TI  - Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
AU  - Matthijs Vákár
PY  - 2021
UR  - https://arxiv.org/abs/2007.05283
ID  - 2007.05283
ER  -