Chen Gu - POPL 2022 (original) (raw)

POPL 2022 (series) / Chen Gu

• conf.research.org general profile

Not registered as user

Name:Chen Gu

Affiliation:Hefei University of Technology, China

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