Registered user since Wed 23 Aug 2017

Name: Yanpeng Yang

Affiliation: University of Hong Kong, China

Contributions

SPLASH 2017Author of Unifying Typing and Subtyping within the OOPSLA-track