Differentiate Everything with a Reversible Programming Language. - Jin-Guo Liu; Taine Zhao (CoRR, 2020)