Meanwhile, Google researchers (Plotkin and Abadi) are going to present "A Simple Differentiable Programming Language" at POPL20[1] in January.

I can't find a preprint though :'(

[1]: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#e...