Yue Niu
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 32
Publications (10 Years): 32
Publications
- Yue Niu, Parth Prashant Lathi, Ryozo Nagamune
- Junbo Zhou, Maohua Xiao, Yue Niu, Guojun Ji
- Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper
- Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper
- Yue Niu, Robert HarperCost-Aware Type Theory. CoRR (2020)
- Feifei Xiao, Yue Niu, Ning Hao, Yanxun Xu, Zhilin Jin, Heping Zhang