Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Adam D. Barwell
conf.researchr.org general profile
POPL 2022 profile
POPL 2023 profile
Not registered as user
Name:
Adam D. Barwell
Affiliation:
Imperial College London, UK
Contributions
2023
PEPM
Committee Member in Program Committee within the PEPM 2023-track
2022
PEPM
Author of Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types within the PEPM 2022-track
Share
x
Tue 6 May 14:20
