Type-directed Program Transformation for Constant-Time Enforcement
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming |
Publisher | Association for Computing Machinery |
Publication date | 2023 |
Pages | 1-13 |
Article number | 6 |
ISBN (Electronic) | 979-8-4007-0812-1 |
DOIs | |
Publication status | Published - 2023 |
Event | 25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023 - Lisboa, Portugal Duration: 22 Oct 2023 → 25 Oct 2023 |
Conference
Conference | 25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023 |
---|---|
Land | Portugal |
By | Lisboa |
Periode | 22/10/2023 → 25/10/2023 |
ID: 383926062