Brigitte Pientka. A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract). In Guillaume Allais, Yanhong Annie Liu, editors, Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, Denver, CO, USA, 21 January 2025. pages 10-11, ACM, 2025. [doi]
Abstract is missing.