Another paper on the same topic that got best paper at icfp this fall is http://conal.net/papers/essence-of-ad/

Which shows how to connect forward and reverse mode auto differentiation in a very elegant way