Registered user since Wed 10 Dec 2014
Name:Zhenjiang Hu
Country:Japan
Affiliation:National Institute of Informatics
Personal website:http://research.nii.ac.jp/~hu/
Research interests:Functional programming, parallel programming. program transformation, bidirectional programming
Contributions
| PEPM 2016 | BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile