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)
会议论文
海外基金
