暂无分享,去创建一个
[1] John C. Reynolds,et al. The discoveries of continuations , 1993, LISP Symb. Comput..
[2] Andreas Griewank,et al. Algorithm 799: revolve: an implementation of checkpointing for the reverse or adjoint mode of computational differentiation , 2000, TOMS.
[3] Gerald J. Sussman,et al. Scheme: A Interpreter for Extended Lambda Calculus , 1998, High. Order Symb. Comput..
[4] Laurent Hascoët,et al. The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation , 2006, International Conference on Computational Science.
[5] Andreas Griewank,et al. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation , 1992 .
[6] Frank D. Wood,et al. A Compilation Target for Probabilistic Programming Languages , 2014, ICML.
[7] Stephen Weeks,et al. Whole-program compilation in MLton , 2006, ML '06.
[8] Andrew W. Appel,et al. Compiling with Continuations , 1991 .
[9] C. Bendtsen. FADBAD, a flexible C++ package for automatic differentiation - using the forward and backward method , 1996 .
[10] G. M. Ostrovskii,et al. Automatic computation of derivatives with the use of the multilevel differentiating technique—1. Algorithmic basis , 1985 .