Hongwei Xi -

Not registered as user yet

Name: Hongwei Xi

Affiliation:Boston University

Contributions

TyDe 2021	Author of Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract) within the TyDe 2021-track
AGERE 2018	Author of Implementing Linking in Multiparty Sessions within the AGERE-track