Certified symbolic management of financial multi-party contracts
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : ICFP 2015 |
Number of pages | 13 |
Publisher | Association for Computing Machinery |
Publication date | 2015 |
Pages | 315-327 |
ISBN (Print) | 978-1-4503-3669-7 |
DOIs | |
Publication status | Published - 2015 |
Event | ACM SIGPLAN International Conference on Functional Programming 2015 - Vancouver, Canada Duration: 31 Aug 2015 → 2 Sep 2015 Conference number: 20 |
Conference
Conference | ACM SIGPLAN International Conference on Functional Programming 2015 |
---|---|
Nummer | 20 |
Land | Canada |
By | Vancouver |
Periode | 31/08/2015 → 02/09/2015 |
ID: 142916911