Gautier Raimondi, Frédéric Besson, Thomas P. Jensen. Type-directed Program Transformation for Constant-Time Enforcement. In Santiago Escobar 0001, Vasco T. Vasconcelos, editors, International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM, 2023. [doi]
Abstract is missing.