paperbot · PL 论文追踪

全部论文 待读 收藏

P2 What is an education paper?

什么是教育论文？
JFP vol.312021匹配度 0/10 · 该论文讨论 PL 会议教育轨道的定位与更名，属于学术社区/教育议题，与用户关注的 PL 与 AI 交叉、静态分析、浮点程序分析、贝叶斯程序分析等方向均无直接关系。引用 7 inbox
SHRIRAM KRISHNAMURTHI
编程环境与开发者工具
crossref: 2026-09-10

AI 速览

一句话：说明 PL 教育轨道的定位，并解释将 Education Pearl 更名为 Education Matters 的愿景。

本文是一篇关于程序语言（PL）社区教育轨道的立场性说明。作者借轨道论文名称由 Education Pearl 改为 Education Matters 的契机，阐述对教育类论文的整体愿景，以及此次更名背后的理由。文章并未提出新的技术方法或系统实现，而是讨论教育论文应当关注什么、为何值得在 PL 社区中占有一席之地，以及更名如何更准确地传达该轨道的目标。其贡献在于为教育类研究提供定位与评审框架，帮助作者和读者理解教育论文与工具、教学实践和语言教育之间的关系，并推动 PL 教育研究在社区中的可见性与认同。

问题
如何界定程序语言领域中的“教育论文”，以及教育轨道应承载怎样的研究贡献。
方法
通过轨道更名（Education Pearl 改为 Education Matters）这一事件，阐述作者对教育论文定位与轨道愿景的观点。
评估
本文为立场/愿景说明，不包含传统技术评估或实证研究；评估体现为对更名理由与轨道目标的概念性论证。
原文摘要（Abstract）

We recently renamed our “education” track’s papers from Education Pearl to Education Matters. This would be a good time to explain our vision for the track as a whole, as well as this specific renaming.

链接与引用

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

BibTeX 
@article{paperbot1232,
  title = {What is an education paper?},
  author = {SHRIRAM KRISHNAMURTHI},
  journal = {Journal of Functional Programming},
  volume = {31},
  year = {2021},
  doi = {10.1017/s0956796821000150}
}