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 ![ORCID logo](images/orcid.svg)
, Adam D. Barwell
![ORCID logo](images/orcid.svg)
, Yoann Marquer
![ORCID logo](images/orcid.svg)
, Olivier Zendra
![ORCID logo](images/orcid.svg)
, Tania Richmond
![ORCID logo](images/orcid.svg)
, 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: 0.36