
5 Jul
2006
5 Jul
'06
6:56 p.m.
Joel Reymont wrote:
Is there anyone trading with Haskell or interested in doing it?
Trading financial instruments? You might be interested in the SPJ/Eber/Seward paper "Composing contracts": http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-... and also Lexifi, though it appears to be written in OCaml: http://homepages.inf.ed.ac.uk/wadler/realworld/lexifi.html -- Ashley Yakeley