函数程序设计国际会议(ICFP)2020-研究论文

PACMPL(ICFP)在函数式编程的设计、实现、原则和使用方面寻求贡献，涵盖从实践到理论(包括外围)的整个工作范围。本期PACMPL上发表的论文的作者将在泽西城的ICFP上展示他们的工作，为研究人员和开发人员提供一个机会来了解函数式编程的最新工作。

PACMPL第4卷，2020年8月发行的ICFP，现在可以从ACM数字图书馆获得黄金开放存取。

在会议期间，ICFP技术项目将运行两次-第一次从纽约上午9点开始，12小时后第二次，从上午9点(第二天)在北京开始。要做到这一点，所有的作者都将预先录制他们的演讲，并将被邀请在论文两次“放映”后参与基于文本的讨论和现场视频讨论。文字聊天将跨越镜子持续进行，视频聊天会话将允许感兴趣的同事立即深入讨论。

会谈的时间表尚未公布，但会议的时间可以在详细的会议时间表上找到。

从以前提交的评论中附加评论的选项已被删除，因为2019年没有作者利用它，因此我们更愿意避免将提交表单与相关字段弄得杂乱无章。除了设定2020年的特定日期外，没有其他流程变化。

PACMPL期刊ICFP 2020寻求关于函数式编程艺术和科学的原创论文。所有主题，从原则到实践，从基础到特点，从抽象到应用，都会被邀请提交意见书。范围包括所有鼓励函数式编程的语言，包括纯应用程序语言和命令式语言，以及具有对象、并发性或并行性的语言。感兴趣的主题包括(但不限于)：

语言设计：并发性、并行性和分布性；模块；组件和组合；元编程；宏；模式匹配；类型系统；类型推理；依赖类型；会话类型；渐进类型；细化类型；互操作性；特定于域的语言；命令式编程；面向对象编程；逻辑编程；概率编程；反应式编程；泛型编程；双向编程。

实现：抽象机；虚拟机；解释；编译；编译时和运行时优化；垃圾收集和内存管理；运行时系统；多线程；利用并行硬件；外部函数、服务、组件或低级机器资源的接口。

软件开发技术：算法和数据结构；设计模式；规范；验证；验证；证明助手；调试；测试；跟踪；剖析；构建系统；程序合成。

基础：形式语义学；λ演算；程序等价；重写；类型理论；逻辑；范畴论；单体；延续；控制；状态；效果；名称和绑定；程序验证。

应用：符号计算；形式方法工具；人工智能；系统编程；分布式系统和网络编程；硬件设计；数据库；XML处理；科学和数字计算；图形用户界面；图形和多媒体；GPU编程；脚本编写；系统管理；安全。

提交的材料将根据其相关性、正确性、重要性、原创性和清晰度进行评估。每份投稿都应该从一般性和技术性两个方面解释其贡献，清楚地确定已经完成的工作，解释其重要性的原因，并将其与以前的工作进行比较。技术内容应该为广大受众所接受。

PACMPL 2020期ICFP还欢迎两个不同类别的提交-功能性珍珠和体验报告-提交时必须如此标记，并且不需要报告原始研究结果。有关这两个类别的详细指南，请参阅本次电话会议的最后部分。

如果您有问题或对主题的适当性有疑问，请与主编联系。

截止日期：提交的截止日期是2020年3月3日，星期二，地球上任何地方。这一截止日期将严格执行。

格式：提交的作品必须是PDF格式，可在美国信纸大小的纸张上以黑白打印，并可由常见的PDF工具解释。所有投稿必须遵循“ACM Small”模板，该模板有LaTeX和Word两种格式。对于使用LaTeX的作者，还提供了一个较轻的软件包，仅包括必要的文件。

一篇完整的论文或功能珍珠不得超过25页，经验报告不得超过12页；无论哪种情况，参考书目都不会计入这些限制。超过页面限制或由于其他原因不符合格式要求的提交内容将立即被拒绝。补充材料可以而且应该单独提交(见下文)。

论文的改进版本可以在提交截止日期之前的任何时候使用相同的网络界面提交。

作者回应期：作者将有72小时的时间阅读评论并做出回应，从2020年4月21日(星期二)格林威治标准时间14：00开始。

补充材料：作者可以选择将补充材料附加到提交的材料上，但审查者可以选择不看它。此补充材料不应作为主文档的一部分提交，而应作为单独的PDF文档或tarball上传。

补充材料应该在提交时上传，而不是在论文中提供指向外部存储库的URL。其目的是为评估提交时参考的所有材料创造一个公平的竞争环境，因此审查者将被指示不参考URL链接的材料，这些材料可能在截止日期后更新。

作者可以自由上传匿名和非匿名补充材料。匿名补充材料将立即被审阅人看到；论文的非匿名补充材料只有在提交评论后才会被审阅人披露，届时作者身份将被揭示。

这一部分概述了轻量级双盲评审的两个阶段的过程，该过程将用于为PACMPL 2020年ICFP期刊选择论文。我们预计有必要澄清和扩大这一进程，作为起点，我们提到ICFP 2019年提交的文件和审查常见问题。

PACMPL问题ICFP 2020将采用两个阶段的审查过程。审查过程的第一阶段将使用上述标准评估提交的文件，并将允许在前面提到的作者答复期内对初步审查提供反馈和投入。通过在线讨论过程，一套论文将被有条件地接受，其他所有论文都将被拒绝。作者将于2020年5月8日收到这些决定的通知。

有条件接受论文的作者将得到委员会的审查(就像以前的会议一样)，同时还会有一套强制性的修改。四周后(2020年6月5日)，作者将提交第二份意见书。第二个也是最后一个评审阶段评估作者是否充分考虑了强制性修订，从而确定论文的最终接受/拒绝状态。我们的意图和期望是，强制性修订可以在四周内完成，因此，有条件接受的文件一般会在第二阶段获得接受。

第二份呈件应明确说明如何处理强制性修订。为此，第二份意见书必须附有一封封面信，将每个强制性修改请求与论文的特定部分对应起来。求职信将促进快速的第二次审查，允许在两周内确认最终接受。相反，缺少求职信将成为该报被拒绝的理由。

PACMPL问题ICFP 2020将采用轻量级双盲审查过程。为此，提交的论文必须遵守两条规则：

对作者自己的相关作品的引用应该是第三人称(例如，不是“我们建立在以前作品的基础上(…)”而是“我们以…的工作为基础”)。。

这个过程的目的是帮助评审员对论文做出没有偏见的初步判断，而不是让他们在尝试的时候不可能发现作者。不应以匿名的名义做任何会削弱提交或使审查论文的工作更加困难的事情(例如，不应省略或匿名重要的背景参考)。此外，作者应该像往常一样自由地传播他们的想法或论文的草稿。例如，作者可能会在网上发布他们的论文草稿，或者就他们的研究想法发表演讲。

PACMPL提供有关版权转让和其他重要物流的广泛信息。与其他参会会议一样，ICFP直接遵循这些规则。在其他重要因素中，请注意与出版相关的开放获取费用，但SIGPLAN能够在作者机构没有支付的情况下支付这笔费用。

作为接受条件之一，所有论文的最终版本必须符合新的ACM小版式。论文最终版本的页数限制将增加两页，以帮助作者回应审稿人的评论和强制性修改：27页加普通论文或功能性珍珠的参考书目，14页加经验报告的参考书目。此外，PACMPL的一个值得注意的格式约定是，当附录包含在主要论文中而不是单独的在线副刊中时，附录应该出现在参考文献之前。

正式出版日期是ACM数字图书馆提供论文的日期。此日期最多可以在会议第一天之前的两周内完成。正式发表日期会影响与已发表作品相关的任何专利申请的截止日期。

每一份被接受的意见书至少有一名作者将出席会议并在会上发表该论文。在选择了完整的程序之后，将确定演示的时间表并与作者共享。如果演讲者同意，演示文稿将被录制下来并在网上发布。

在特殊情况下，由主编酌情决定，可以为特定的论文批准替代的演示方法。典型的例子是，所有的作者都被拒绝了ICFP东道国的签证，在这种情况下，可以委托非作者出席，或者可以考虑各种电子替代品。我们列出这些选项是为了提高透明度，但请记住，大多数年份都没有例外。这个选项并不意味着，例如，为作者发现自己与其他会议重复预订的情况提供借口(因此，在提交论文时，请务必将会议日期保留在至少一个作者的日历上)。

在审查过程的第一阶段有条件接受的论文的作者将被鼓励(但不是必需的)提交人工制品评估的支持材料。然后，这些项目将由一个独立于论文评审委员会的工件评估委员会进行评审，该委员会的任务是评估工件如何支持相关论文中描述的工作。成功通过人工制品评估过程的论文将收到打印在论文上的批准印章。被接受论文的作者将被鼓励在论文发表后公开提供支持材料，例如，将它们作为“原始材料”纳入ACM数字图书馆。一个额外的印章将标记其文物可用的文件，如ACM文物徽章指南中所概述的那样。

参与人工制品评估是自愿的，不会影响关于论文接受的最终决定。

除了研究论文，PACMPL Issue ICFP还征集了两种不需要原创研究投稿的论文：功能珍珠，这是完整的论文；以及经验报告，长度限制为完整论文的一半。提交此类论文的作者应考虑以下准则。

“函数式珍珠”是一篇关于函数式编程相关的精美文章。示例包括但不限于：

虽然珍珠经常通过开发一个简短的程序来展示一个想法，但并不要求或期望它们这样做。因此，它们包含了理论珍珠和教育珍珠的概念。

“功能性珍珠”的价值与普通报纸一样高，评判也同样严格，但使用的标准略有不同。特别是，珍珠不需要报道原创研究，但应该简明扼要，具有启发性和娱乐性。如果一颗珍珠的读者感到无聊，如果材料变得过于复杂，如果需要太多的专业知识，或者如果写作不雅，那么珍珠很可能会被拒之门外。写好明珠的关键是打磨。

意欲被视为珍珠的投稿必须在投稿网页上注明为珍珠，并应在其标题或副标题中的某处包含“功能性珍珠”字样。这些步骤将提醒审阅者使用适当的评估标准。然而，珍珠将与普通论文相结合，以计算会议的接受率。

经验报告的目的是帮助创建一系列公开的、经过评审的、可引用的证据来证明函数式编程确实有效-或者描述阻止其工作的障碍。

工业项目或大学课程背景下函数式程序设计与常规程序设计的比较。

给函数式语言的实现或函数式编程带来特殊挑战的现实世界的约束。

体验报告与普通的PACMPL发布的ICFP论文不同之处在于它的标题、长度和用于评估它的标准。

无论是在论文中还是在任何引文中，每一份被接受的经验报告的标题都必须以括号中的“(经验报告)”结束。经验报告的接受率将与普通论文的接受率分开计算和报告。

每一份被接受的经验报告都将在会议上发表，但根据接受的经验报告和常规论文的数量，经验报告的作者可能会被要求做较短的演讲。

因为体验报告的目的是使我们的社区能够积累关于函数式编程有效性的大量证据，所以一个可接受的体验报告不需要通过提供新的结果或结论来增加函数式编程社区的知识体系。只要报告有明确的论据，并提供佐证，就足够了。论文必须与ICFP相关，但不必新颖。

审查委员会将根据他们是否判断证据令人信服来接受或拒绝经验报告。轶事证据是可以接受的，只要它是有充分理由的，并且提交人解释了为收集尽可能多的证据所做的努力。通常，更令人信服的证据是从说明如何使用函数式编程的论文中获得的，而不是从只说使用了函数式编程的论文中获得的。最有说服力的证据通常包括对引入或停止函数式编程之前和之后的情况进行比较。从单个人的经验中提取的证据可能已经足够，但将更多地重视从群体经验中提取的证据。

经验报告应该简短并且切中要害：它应该声明函数式编程在特定项目上工作得有多好，以及为什么，它应该提供证据来证实这一声明。如果函数式编程在这种情况下以与在其他情况下相同的方式工作，那么本文只需要总结结果-本文的主要部分应该讨论它工作得如何以及在什么上下文中工作。大多数读者不会想知道项目及其实施的所有细节，但论文应该充分描述项目及其背景，以便读者能够判断这种经历与他们自己的项目有多大程度的相关性。这篇论文应该注意强调该项目的任何不寻常的方面。关于项目的细节比关于函数式编程的概括性更有价值；例如，说团队提前一个月交付软件比说函数式编程使团队更有效率更有价值。

如果论文不仅描述了经验，而且提出了新的技术成果，或者如果经验驳斥了函数式编程社区珍视的信念，那么作为一篇全文提交可能会更好，这将根据新颖性、原创性和相关性这一通常的标准进行评判。主编将很乐意就任何关于提交到哪个类别的问题提供建议。