Just to elaborate a bit further, the first link is a talk on the following paper: http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf h

Just to elaborate a bit further, the first link is a talk on the following paper: http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf http://conal.net/papers/compiling-to-categories/compiling-to... It's quite interesting to see how things like automatic differentiation get expressed in this framework.