基本信息
views: 90
Career Trajectory
Bio
Dr. Xi is an associate professor in the computer science department whose research focuses on the design and implementation of programming languages. He has also developed keen interests to promoting software engineering benefits through programming language design. Through many years of continuing efforts, working with graduated students he has designed and implemented ATS, a programming language with a highly expressive type system rooted in the framework Applied Type System. As of now, his primary research interest centers around implementing real and complex systems in ATS that can convincingly demonstrate the power of advanced types (such as dependent types and linear types) in facilitating the construction of high-quality software.
Research Interests
Papers共 161 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, TYDE 2023pp.44-57, (2023)
PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, TYDE 2023pp.1-13, (2023)
Artifact Digital Object Group (2023)
Cited0Views0Bibtex
0
0
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn