Certified Compilation of Financial Contracts

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

Original languageEnglish
Title of host publicationProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery
Publication date2018
Pages5:1-5:13
ISBN (Print)978-1-4503-6441-6
DOIs
Publication statusPublished - 2018
Event20th International Symposium on Principles and Practice of Declarative Programming : PPDP 2018 - Frankfurt am Main, Germany
Duration: 3 Sep 20185 Sep 2018

Conference

Conference20th International Symposium on Principles and Practice of Declarative Programming
LandGermany
ByFrankfurt am Main
Periode03/09/201805/09/2018

ID: 204479334