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

POPL 2016 Activities

• Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-track in PEPM 2016
• Show activities from other conferences