POPL 2022 Co-Located Events
POPL 2022 Co-Located Events
Powered by
Conference Publishing Consulting

2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022), January 17-18, 2022, Philadelphia, PA, USA

PEPM 2022 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Papers

Dependent Tagless Final
Nicolas Biri ORCID logo
(Luxembourg Institute of Science and Technology, Luxembourg)
Article Search
Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
Christopher BrownORCID logo, Adam D. Barwell ORCID logo, Yoann Marquer ORCID logo, Olivier Zendra ORCID logo, Tania Richmond ORCID logo, and Chen Gu ORCID logo
(University of St. Andrews, UK; Imperial College London, UK; Inria, France; DGA, France; Hefei University of Technology, China)
Article Search

proc time: 1.1