1. Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, et al. 2016. Tensorflow: A system for large-scale machine learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI’16). 265–283.
2. A simple differentiable programming language
3. Andrew Barber and Gordon Plotkin. 1996. Dual Intuitionistic Linear Logic. University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science.
4. On the Versatility of Open Logical Relations
5. Automatic differentiation in machine learning: a survey;Baydin Atilim Gunes;Journal of Machine Learning Research,2018