摘要：基于可计算性逻辑的启示，我们将递归函数定义细分为两种类型：盲目量化（BQ）和并行普遍量化（PUQ）。BQ定义对应于传统的定义，其中递归定义“不”发展。PUQ定义在计算过程中是“演化的”，导致自动记忆化。此外，基于这个想法，我们提出了一种新的高级面向对象语言。
作者：Keehang Kwon
论文ID：2207.12137
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-26
PDF 下载： 英文版 中文版pdf翻译中