| |
Barwell, Adam D.
|
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|
| |
Biri, Nicolas |
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
Article: poplws22pepmmain-p2-p doi:10.1145/3498886.3502201
|
| |
Brown, Christopher |
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|
| |
Gu, Chen
|
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|
| |
Marquer, Yoann
|
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|
| |
Richmond, Tania
|
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|
| |
Zendra, Olivier
|
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
Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202
|