Conal Elliot. The simple essence of automatic differentiation. In Proc. ACM Program. Lang., ICFP volume 2, 2018. https://doi.org/10.1145/3236765

C. Flanagan, A. Sabry, B.F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proc. ACM SIGPLAN, pp. 237–247, 1993.

B. A. Pearlmutter and J. M. Siskind. Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator. ACM Trans. Program. Lang. Syst. 30(2), pp. 1–36, 2008. https://doi.org/10.1145/1330017.1330018