Composing Contracts: An Adventure in Financial Engineering

  • Simon Peyton Jones
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2021)


Financial and insurance contracts—options, derivatives, futures, and so on—do not sound like promising territory for functional programming and formal semantics. To our delight, however, we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts. In my talk I will introduce a combinator library that allows us to describe such contracts precisely, and a compositional denotational semantics that says what such contracts are worth. In fact, a wide range programming- language tools and concepts—denotatinoal semantics, equational reasoning, operational semantics, optimisation by transformation, and so on—turn out to be useful in this new setting.

Sleep easy, though; you do not need any prior knowledge of financial engineering to understand this talk!

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Simon Peyton Jones
    • 1
  1. 1.Microsoft ResearchCambridgeEngland

Personalised recommendations