[justincormack]

There were some early papers by Simon Peyton-Jones on financial contract modeling in Haskell too eg http://research.microsoft.com/en-us/um/people/simonpj/Papers... but OCaml had a much better performance story.