
Registered user since Wed 10 Dec 2014
Name:Zhenjiang Hu
Country:Japan
Affiliation:National Institute of Informatics
Contributions
POPL 2018 | An Axiomatic Basis for Bidirectional Programming An Axiomatic Basis for Bidirectional Programming | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile