Powered by
2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022),
January 17-18, 2022,
Philadelphia, PA, USA
2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
Frontmatter
Papers
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.17