使用不可变函数的无缺点程序设计
Cons-free Programming with Immutable Functions
摘要：
我们研究了高阶类型的纯函数式程序设计语言中的非确定性的力量。具体地说，我们打算仅仅从更高类型的纯函数程序的角度来描述层次结构NP $\subseteq$ NEXP $\subseteq$ NEXP $^{(2)}$ $\subseteq \cdots \subseteq$ NEXP $^{(k)}$ $\subseteq \cdots$。虽然这项工作是不完整的，我们提出了一个初步的方法，使用cons-free程序与不可变的功能。
英文摘要：
We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we set out to characterise the hierarchy NP $\subseteq$ NEXP $\subseteq$ NEXP$^{(2)}$ $\subseteq \cdots \subseteq$ NEXP$^{(k)}$ $\subseteq \cdots$ solely in terms of higher-typed, purely functional programs. Although the work is incomplete, we present an initial approach using cons-free programs with immutable functions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
