Registered user since Wed 10 Dec 2014

Name: Zhenjiang Hu

Country: Japan

Affiliation: National Institute of Informatics

POPL 2018 Activities

• Author of An Axiomatic Basis for Bidirectional Programming within the Artifact Evaluation-track in POPL 2018
• Author of An Axiomatic Basis for Bidirectional Programming within the Research Papers-track in POPL 2018
• Show activities from other conferences