PEPM 2022 – Proceedings

2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)

Frontmatter

Papers

Dependent Tagless Final
Nicolas Biri 
(Luxembourg Institute of Science and Technology, Luxembourg)

Publisher's Version

Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
Christopher Brown , Adam D. Barwell , Yoann Marquer , Olivier Zendra , Tania Richmond , and Chen Gu 
(University of St. Andrews, UK; Imperial College London, UK; Inria, France; DGA, France; Hefei University of Technology, China)

Publisher's Version

proc time: 1.79