| 广义共迭代及其计算律 |
| |
| 引用本文： | 苏锦钿,余珊珊.广义共迭代及其计算律[J].华南理工大学学报(自然科学版),2012,40(9). |
| |
| 作者姓名： | 苏锦钿 余珊珊 |
| |
| 作者单位： | 1. 华南理工大学计算机科学与工程学院,广东广州,510006
2. 中山大学信息科学与技术学院,广东广州,510275 |
| |
| 基金项目： | 国家自然科学基金资助项目，高等学校博士学科点专项科研基金资助项目，华南理工大学中央高校基本科研业务费专项资金资助项目 |
| |
| 摘 要： | 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.
|
| 关 键 词： | 函数式编程 共归纳数据类型 终结共代数 共递归 Monads 范畴论 |
Generalised Coiteration and Its Calculation Laws |
| |
| Su Jin-dian
,
Yu Shan-shan.Generalised Coiteration and Its Calculation Laws[J].Journal of South China University of Technology(Natural Science Edition),2012,40(9). |
| |
| Authors: | Su Jin-dian Yu Shan-shan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
