Cool. Do you know about the paper on "composable contracts" that defines financial contracts (derivatives, etc) in terms of functional combinators? It's pretty

Cool. Do you know about the paper on "composable contracts" that defines financial contracts (derivatives, etc) in terms of functional combinators? It's pretty cool. They're able to define automatic Black-Scholes valuations for complex derivatives, and stuff. http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm http://research.microsoft.com/en-us/um/people/simonpj/Papers...