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