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
影响因子:
0.5
作者:
W. Chin
通讯作者:
W. Chin
影响因子:
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