[Haskell] any implementation of "How to write a financial contract" ?

[Assini, Pasqualino]

Hello,

I would like to know if there is any publicly available implementation
of the combinatorial library described in the excellent "How to write a
financial contract" paper by Simon Jones and Jean-Marc Eber. [1] 

Best regards,

     titto

-------------------------
Pasqualino "Titto" Assini
Head of Software Development
Nesstar Ltd
John Tabor House
Wivenhoe Park
Colchester,CO4 3SQ UK
Tel: +44 1206 874333
Mobile: +44 7910 726 084 
Fax: +44 1206 873516
E-mail: titto at nesstar.com
Website: www.nesstar.com

[1] See
http://research.microsoft.com/Users/simonpj/Papers/financial-contracts/c
ontracts-icfp.htm