• Sign in
  • Sign up
conf.researchr.org / Hongwei Xi
  • ICFP 2021 profile
  • SPLASH 2018 profile

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

Share
xWed 31 May 05:40
using conf.researchr.org (v1.60.0)
Support page
Sign Up