Certified symbolic management of financial multi-party contracts

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : ICFP 2015
Number of pages13
PublisherAssociation for Computing Machinery
Publication date2015
Pages315-327
ISBN (Print)978-1-4503-3669-7
DOIs
Publication statusPublished - 2015
EventACM SIGPLAN International Conference on Functional Programming 2015 - Vancouver, Canada
Duration: 31 Aug 20152 Sep 2015
Conference number: 20

Conference

ConferenceACM SIGPLAN International Conference on Functional Programming 2015
Nummer20
LandCanada
ByVancouver
Periode31/08/201502/09/2015

ID: 142916911