Composing contracts: an adventure in financial engineering, functional pearl.

Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward

Browse the full ICFP paper archive.