Hanwen Wu
ORCIDPublication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 15
Publications (10 Years): 15
Publications
- Hongwei Xi, Hanwen Wu
- Gang Xue, Jia Xu, Hanwen Wu, Weifeng Lu, Lijie Xu
- Hanwen Wu, Hongwei Xi
- Hanwen Wu, Hongwei XiDependent Session Types. CoRR (2017)
- Hongwei Xi, Hanwen Wu