Zhenjiang Hu: "Deriving Structural Hylomorphisms From Recursive Definitions." METR. 95-11. (1995)

Zhenjiang Hu: "Deriving Structural Hylomorphisms From Recursive Definitions." METR. 95-11. (1995)
复制标题

胡振江:“从递归定义导出结构同态。”

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1007/978-1-4612-0317-9
发表时间: 1993
期刊: --
影响因子: --
作者:
P. Curien
通讯作者: P. Curien
关系程序推导和上下文无关语言识别
DOI: --
发表时间: 1994
期刊:
影响因子: --
作者:
R. Bird;O. Moor
通讯作者: O. Moor
功能表达式的安全融合
DOI: 10.1145/141471.141494
发表时间: 1992
影响因子: 0.5
作者:
W. Chin
通讯作者: W. Chin
热融合:从递归定义导出构建目录
DOI: 10.1145/224164.224223
发表时间: 1995
影响因子: 1.1
作者:
J. Launchbury;T. Sheard
通讯作者: T. Sheard
使用香蕉、镜头、信封和铁丝网进行函数式编程
DOI: --
发表时间: 1991
期刊: Conference on Functional Programming Languages and Computer Architecture
影响因子: --
作者:
E. Meijer;M. Fokkinga;R. Paterson
通讯作者: R. Paterson