On Jul 5, 2006, at 11:56 PM, Ashley Yakeley wrote:
Trading financial instruments? You might be interested in the SPJ/
Eber/Seward paper "Composing contracts":
http://research.microsoft.com/~simonpj/Papers/financial-contracts/
contracts-icfp.htm
Yes, that paper and an hour or so on the phone with SPJ inspired me
to take up Haskell when I was Erlang-ing in Sweden. Thank you Simon :D.
and also Lexifi, though it appears to be written in OCaml:
http://homepages.inf.ed.ac.uk/wadler/realworld/lexifi.html
I would love to see sample contract code from that project.
Joel
--
http://wagerlabs.com/
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
