Certified Compilation of Financial 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 International Symposium on Principles and Practice of Declarative Programming |
Place of Publication | New York, NY, USA |
Publisher | Association for Computing Machinery |
Publication date | 2018 |
Pages | 5:1-5:13 |
ISBN (Print) | 978-1-4503-6441-6 |
DOIs | |
Publication status | Published - 2018 |
Event | 20th International Symposium on Principles and Practice of Declarative Programming : PPDP 2018 - Frankfurt am Main, Germany Duration: 3 Sep 2018 → 5 Sep 2018 |
Conference
Conference | 20th International Symposium on Principles and Practice of Declarative Programming |
---|---|
Land | Germany |
By | Frankfurt am Main |
Periode | 03/09/2018 → 05/09/2018 |
ID: 204479334