咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 program construc...
  • 1 篇 keywords: functi...

机构

  • 1 篇 programming rese...
  • 1 篇 programming rese...
  • 1 篇 department of co...

作者

  • 1 篇 paterson ross
  • 1 篇 bird richard

语言

  • 1 篇 英文
检索条件"主题词=Keywords: Functional programming"
1 条 记 录,以下是1-10 订阅
排序:
Generalised folds for nested datatypes
收藏 引用
Formal Aspects of Computing 1999年 第2期11卷 200-222页
作者: Bird, Richard Paterson, Ross Programming Research Group Oxford University Oxford United Kingdom Department of Computer Science City University London United Kingdom Programming Research Group Oxford University Wolfson Building Parks Road Oxford OX1 3QD United Kingdom
Nested datatypes generalise regular datatypes in much the same way that context-free languages generalise regular ones. Although the categorical semantics of nested types turns out to be similar to the regular case, t... 详细信息
来源: 评论