paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Super-naturals

超自然数
JFP vol.322022匹配度 1/10 · 该论文仅标为“函数式编程”，摘要缺失，无法判断其与静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等研究方向有关。仅凭标题和标签看不出与用户研究画像的核心问题有实质关联。引用 1 inbox
RALF HINZE, COLIN RUNCIMAN
函数式编程
crossref: 2026-09-10

AI 速览

一句话：论文提出/探讨 super-naturals，但提供的英文摘要缺失，无法确定其核心贡献。

该条目仅包含标题“Super-naturals”与作者信息，英文摘要未提供（“An abstract is not available for this content.”）。因此无法从给定材料中提取研究问题、方法、关键结果与评估方式。标题可能指向自然数的一种扩展概念，但具体定义、形式化与应用需查阅全文。

问题
无法从提供的摘要判断研究问题。
方法
无法从提供的摘要判断研究方法。
评估
无法从提供的摘要判断评估方式。
原文摘要（Abstract）

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@article{paperbot1624,
  title = {Super-naturals},
  author = {RALF HINZE and COLIN RUNCIMAN},
  journal = {Journal of Functional Programming},
  volume = {32},
  year = {2022},
  doi = {10.1017/s0956796822000028}
}