Certified symbolic management of financial multi-party contracts

DOI10.1145/2784731.2784747zbMath1360.68356OpenAlexW2047482109WikidataQ58061576 ScholiaQ58061576MaRDI QIDQ2981976

Martin Elsman, Jost Berthold, P. Bähr

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2784731.2784747

zbMATH Keywords

Haskellsemanticstype systemCoqdomain-specific languagefinancial contractscertified code

Mathematics Subject Classification ID

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

Related Items (3)

Extracting functional programs from Coq, in Coq ⋮ Unnamed Item ⋮ Certifying Findel derivatives for blockchain

Uses Software

• Haskell
• Unnamed Item

This page was built for publication: Certified symbolic management of financial multi-party contracts