×

Certified symbolic management of financial multi-party contracts. (English) Zbl 1360.68356

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015).

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N18 Functional programming and lambda calculus
68Q55 Semantics in the theory of computing
91B40 Labor market, contracts (MSC2010)
91G99 Actuarial science and mathematical finance

Software:

Coq; Haskell
PDFBibTeX XMLCite
Full Text: DOI