Write a Blog >>
Zhenjiang Hu

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


PEPM 2016Author 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