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
Dependent Tagless Final
Nicolas Biri
(Luxembourg Institute of Science and Technology, Luxembourg)
@InProceedings{PEPM22p1,
author = {Nicolas Biri},
title = {Dependent Tagless Final},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3498886.3502201},
year = {2022},
}
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)
@InProceedings{PEPM22p19,
author = {Christopher Brown and Adam D. Barwell and Yoann Marquer and Olivier Zendra and Tania Richmond and Chen Gu},
title = {Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3498886.3502202},
year = {2022},
}
Publisher's Version
proc time: 0.73