Ralf Hinze. Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. In Jeremy Gibbons, Pablo Nogueira, editors, Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Volume 7342 of Lecture Notes in Computer Science, pages 324-362, Springer, 2012. [doi]
Abstract is missing.