Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
HX
Hongwei Xi
Logic, programming, and type systems
Singapore Institute of Technology
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
205 pubs · 3,317 cites · h-index 26
Affiliations
Singapore Institute of Technology
Chinese Academy of Sciences
Nanfang Hospital
See all
Publications