Adam D. Barwell - POPL 2022 (original) (raw)

POPL 2022 (series) / Adam D. Barwell

• conf.research.org general profile
• POPL 2023 profile

Not registered as user

Name:Adam D. Barwell

Affiliation:Imperial College London, UK

Contributions

2022

PEPM

• Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types

Show activities from other conferences

Share

POPL 2022-profile
View general profile