Not the Eber/Peyton-Jones research on combinators for financial derivatives, although that’s recently become rather relevant to my ongoing search for new employment, but a paper by Hinze, Jeuring and L?h on design-by-contract in Haskell - interesting in connection with the problem, discussed in the post below, of how to specify service contracts in a functional programming language.