conf.researchr.org / Paul He
Registered user since Wed 23 Aug 2017
Name: Paul He
Country: Canada
Affiliation: University of Waterloo, Canada
Contributions
| SPLASH 2017 | Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track |