【摘 要】
：
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结
【机 构】
：
华南理工大学计算机科学与工程学院,中山大学信息科学与技术学院
【基金项目】
：
2010年高等学校博士点学科专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
论文部分内容阅读
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.
其他文献
浙江省甜瓜地方种质资源丰富,为更好地将这些资源应用于甜瓜育种,搜集了温州＂白啄瓜＂和舟山＂登步黄金瓜＂并进行了种植鉴定和原产地考察,同时对这些资源的商品性和潜在利用价值进
黄金瓜类甜瓜兼具厚皮甜瓜与薄皮甜瓜的双重特点和长处,但在江汉平原乃至长江中下游地区.进行大棚立架栽培,成本很高;如进行露地栽培,则气候矛盾突出.大棚地热线育苗、地膜配
研究了以疏水缔合聚合物GRF-1H为稠化剂的非交联缔合结构压裂液基液与疏水尾基碳原子个数分别为6、10、14的新型非离子表面活性剂(GS-1、GS-2、GS-3)复配后体系表观黏度的变
本文研究了制冷系统中不凝性气体的来源、在制冷设备中的分布情况、对制冷工况和制冷设备所带来的危害以及排除。着重研究了对不凝性气体的排除,提出了对于小型制冷系统利用
目的研究布洛芬颗粒剂在大鼠体内药动学的昼夜节律特征。方法采用随机区组实验设计，将2组大鼠分别于9：00时和21：00时单次灌胃给予布洛芬颗粒剂50mg·kg^-1，采用反相高效液相
采用有限元法结合数学规划法对重型专用车车架进行了轻量化结构优化设计。该优化模型以车架的总重量最小为优化目标，以纵梁各段的板厚为优化设计变量，而以车架的强度值作为优化
如今,功能繁多、造型多样的文具,让人挑花了眼。中国消费者协会提醒,消费者选购文具时不能只看外表,更要注重产品质量,尽量避免选购＂三无产品＂。据统计,全国消协组织2015年上半
利用中尺度模式MM5，依据祁连山地区复杂地形下生态环境恶化的事实，设计了一个控制试验和一个敏感性试验，数值模拟结果表明：MM5模式能够较好地模拟祁连山地区的降水；祁连山地区生态
本文主要叙述了脉动真空灭菌器的工作原理和出现的部分故障原因及排除方法。
目的对治疗妇科盆腔炎应用微波疗法的实际临床效果进行研究分析。方法选择2016年5月至2017年5月在我院进行治疗的妇科盆腔炎患者共204例作为研究分析对象,将全部患者随机分为