Multi-Stage Programming In Haskell
Multi-Stage Programming In Haskell
Haskell 中的多阶段编程
批准号：
2227053
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2016
资助国家：
英国
项目状态：
已结题
起止时间：
2016 至 --
中文摘要
翻译
我们研究了多阶段程序与高级类型系统特征（如类型类、多态性、依赖类型）的交互。我们还研究了多阶段程序的实现以及交叉编译与显式阶段注释的交互。
英文摘要
We investigate the interaction of multi-stage programs with advanced type system features such as type classes, polymorphism, dependent types. We also study the implementation ofmulti-stage programs and the interaction of cross-compilation with explicit stage annotations.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
