Simon Peyton Jones: Composing contracts: an adventure in financial engineeringresearch.microsoft.com4 pointsehudla10 years ago