广义共迭代及其计算律

来源 :华南理工大学学报：自然科学版 | 被引量 : 0次 | 上传用户：anan0508

【摘要】

：

针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold，

【作者】

：

苏锦钿余珊珊

【机构】

：

华南理工大学计算机科学与工程学院,中山大学信息科学与技术学院

【出处】

：

华南理工大学学报：自然科学版

【发表日期】

：

2012年9期

【关键词】

：

函数式编程共归纳数据类型终结共代数共递归 MONADS 范畴论 functional programming coinductive data type

【基金项目】

：

基金项目：国家自然科学基金资助项目（61103039）,高等学校博士学科点专项科研基金资助项目（20100172120043）,华南理工大学中央高校基本科研业务费专项资金资助项目（2009ZM0158）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold，证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述．在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律．

其他文献

河间秋操

光绪三十一年(1905年)农历六月,袁世凯督练的北洋新军六镇正式成军.清政府决定从北洋六镇中抽调4万多人,组成南北两军,一路由王英楷率领从山东北上,一路由段祺瑞率领从保定南

期刊

光绪三十一年北洋六镇秋操河间府北洋新军段祺瑞袁世凯九月初

奥运青啤激情联动

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

中央电视台青岛啤酒奥运营销

苹果树下的反光地膜

地膜覆盖是一种现代农业生产技术,覆盖地膜所起到的辅助功效较多,如保持土壤水分、改善热量条件、抑制杂草生长、减弱土壤侵蚀等。地膜的颜色、材料不同,发挥的作用和应用的

期刊

苹果种植现代农业生产热量条件地膜覆盖土壤侵蚀发挥的作用土壤水分苹果树

改进模糊熵算法及其在孤独症儿童脑电分析中的应用

模糊熵(Fuzzy entropy,Fuzzy En)是衡量时间序列在维数变化时产生新模式的概率,反映时间序列复杂性和无规则程度的参数指标.本文针对传统模糊熵算法只针对时间信号序列进行总

期刊

脑电信号孤独症模糊熵锁相位

脉冲电场对西米淀粉物化性质的影响

西米淀粉（8％）经过30，40和50kV／cm的脉冲电场处理后，利用扫描电镜、激光粒度仪、X射线衍射仪、差示扫描量热仪和Brabender黏度仪等对其处理后的物化性质进行了研究．结果表明：经过脉冲

期刊

西米淀粉物化性质脉冲电场电场强度sago starch physicochemical property pulsed electric field e

广义共迭代及其计算律

其他学术论文