Type-directed Program Transformation for Constant-Time Enforcement

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationPPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
PublisherAssociation for Computing Machinery
Publication date2023
Pages1-13
Article number6
ISBN (Electronic)979-8-4007-0812-1
DOIs
Publication statusPublished - 2023
Event25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023 - Lisboa, Portugal
Duration: 22 Oct 2023 → 25 Oct 2023

Conference

Conference25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023
LandPortugal
ByLisboa
Periode22/10/2023 → 25/10/2023

ID: 383926062