I really enjoy reading Conals work. This paper is a particularly good example of how denotational semantics can guide the design of a library - http://conal.net/blog/posts/paper-beautiful-differentiation/