Martín Abadi, Gordon D. Plotkin
A simple differentiable programming language
POPL, 2020.
@article{POPL-2020-AbadiP, author = "Martín Abadi and Gordon D. Plotkin", doi = "10.1145/3371106", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "28", publisher = "{ACM}", title = "{A simple differentiable programming language}", volume = 4, year = 2020, }