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