Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward. Composing contracts: an adventure in financial engineering, functional pearl. In ICFP. pages 280-292, 2000. [doi]
@inproceedings{JonesES00, title = {Composing contracts: an adventure in financial engineering, functional pearl}, author = {Simon L. Peyton Jones and Jean-Marc Eber and Julian Seward}, year = {2000}, doi = {10.1145/351240.351267}, url = {http://doi.acm.org/10.1145/351240.351267}, tags = {contracts}, researchr = {https://researchr.org/publication/JonesES00}, cites = {0}, citedby = {0}, pages = {280-292}, booktitle = {ICFP}, }