Recursion schemes with lists

Proceedings of the fourth annual ACM symposium on Theory of computing Pub Date : 1972-05-01 DOI:10.1145/800152.804894

James H. Morris

引用次数: 3

Abstract

Scheme translation is used to compare the abilities of languages obtained by augmenting recursion schemes with lists, markers, and functional values. It is shown that the first two additions make orthogonal contributions to the language's power. Theorems 4 and 5 appear to be new results.

查看原文本刊更多论文

带列表的递归方案

模式转换用于比较通过使用列表、标记和功能值增强递归模式获得的语言的能力。结果表明，前两个加法对语言能力的贡献是正交的。定理4和定理5似乎是新的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the fourth annual ACM symposium on Theory of computing

自引率

0.00%

发文量