Composing contracts: an adventure in financial engineering [haskell]research.microsoft.com1 pointLiveTheDream15 years ago