共归纳数据类型相关论文
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类......
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以......
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题，证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定......
针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题，首先证明了笛卡尔封闭范畴上的终结共代数是强终结的，并给出强共归......
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数......
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据......
