paperbot · PL 论文追踪

全部论文 待读 收藏

P2 PhD Abstracts

博士论文摘要
JFP vol.272017匹配度 0/10 · 该条目只是函数式编程领域博士论文摘要的年度汇总,属于社区服务而非研究论文,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析。引用 14 inbox
GRAHAM HUTTON
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话:汇总上一年度完成的函数式编程博士论文摘要,作为面向社区的学术服务。

本文并非研究论文,而是《Journal of Functional Programming》的博士论文摘要专辑说明。每年有许多学生完成函数式编程方向的博士研究,为便于社区了解最新工作,期刊将上一年度完成的博士论文摘要集中发布。摘要本身不提出新的技术问题、方法或评估结果,而是作为学术传播与社区服务机制,帮助研究者快速获取该领域博士论文的选题与成果概览。该专辑延续期刊服务函数式编程社区的惯例,不涉及单一论文的技术贡献。

问题
如何向社区集中展示上一年度完成的函数式编程方向博士论文,使研究者及时了解该领域博士研究概况。
方法
《Journal of Functional Programming》作为社区服务,收集并发布上一年度完成的博士论文摘要。
评估
以摘要专辑形式提供信息汇编,属于编辑性/社区服务内容,未包含具体研究评估或实证结果。
原文摘要(Abstract)

Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@article{Hutton17a,
  title = {PhD Abstracts},
  author = {GRAHAM HUTTON},
  journal = {Journal of Functional Programming},
  volume = {27},
  year = {2017},
  doi = {10.1017/s0956796817000181}
}