Composing contracts An adventure in financial engineering Simon Peyton Jones and Julian Seward, Microsoft Research and Jean Marc Eber, LexiFi Technologies.
Compositional Description, Valuation , and Management of Financial Contracts: The MLFi Language
