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 | Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile