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

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/financial-contracts/contracts-icfp.pdf http://research.microsoft.com/en-us/um/people/simonpj/Papers... but OCaml had a much better performance story.