TY  - RPRT
TI  - $λ_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes
AU  - Benjamin Sherman
AU  - Jesse Michel
AU  - Michael Carbin
PY  - 2021
DO  - 10.1145/3434284
UR  - https://arxiv.org/abs/2007.08017
ID  - 2007.08017
ER  -