Bahr, Patrick; Berthold, Jost; Elsman, Martin 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). Cited in 3 Documents 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 Keywords:certified code; Coq; domain-specific language; financial contracts; Haskell; semantics; type system Software:Coq; Haskell PDFBibTeX XMLCite \textit{P. Bahr} et al., in: 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). 315--327 (2015; Zbl 1360.68356) Full Text: DOI