PEPM '22: "Semi-automatic Ladderisation: ..."
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
PEPM '22: "Dependent Tagless Final ..."
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
PEPM '22: "Semi-automatic Ladderisation: ..."
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
PEPM '22: "Semi-automatic Ladderisation: ..."
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
PEPM '22: "Semi-automatic Ladderisation: ..."
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
PEPM '22: "Semi-automatic Ladderisation: ..."
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
PEPM '22: "Semi-automatic Ladderisation: ..."
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