范围
演讲和讨论将重点关注 OCaml 编程语言及其社区。我们的目标是征集关于改进语言及其编程环境的使用或开发的各个方面的演讲，例如（但不限于）
-
编译器开发、新的后端、运行时和架构
-
实用的类型系统改进，例如（但不限于）GADTs、一等模块、泛型编程或依赖类型
-
新的库或应用程序版本及其设计原理
-
工具和基础设施服务及其增强功能
-
OCaml 的突出工业或实验用途，或在特殊情况下的部署。
演讲
这将是一个非正式的会议，没有正式的会议记录。演讲材料将从研讨会主页在线获取。演讲可能会被录制，并在稍后时间提供。
主要的演讲形式是研讨会演讲，传统上大约 20 分钟长，加上提问时间，但我们还在研讨会期间设置了海报环节——这使得能够展示更多样化的工作，并留出时间进行讨论。程序委员会将决定哪些演讲应该以海报或演讲的形式发表。
提交
要提交演讲，请在 https://icfp-ocaml17.hotcrp.com/ 注册演讲的描述（大约 2 页长），并提供关于演讲将提供什么的明确说明：解决的问题、提出的解决方案或方法。如果您希望进行演示或需要任何特殊设置，我们将尽力满足您的要求。
LaTeX 生成的 PDF 是常见且受欢迎的提交格式。出于可访问性目的，我们要求 PDF 提交者也以文本格式提供其提交的源代码，例如 .tex 源代码。审稿人可以阅读提交的 PDF 或文本版本。
ML 家族研讨会和后续论文集
前一天举行的 ML 家族研讨会将讨论 ML 风格编程和海报系统的普遍问题，并被视为更具研究导向性。然而，它与 OCaml 研讨会存在重叠，我们热衷于探索这一点，例如通过举办一个共同的环节。我们鼓励认为自己的提交适合这两个研讨会的作者在提交时提及此事和/或联系程序主席。
这两个研讨会可能会有一个联合的后续会议论文集，其中包含选定的论文。
问题和联系方式
如有任何疑问，请发送邮件给主席：mshinwell -at- janestreet.com
2016 年 6 月 20 日
演讲提议提交截止日期
2016 年 7 月 18 日
作者通知
2016 年 9 月 23 日
OCaml 研讨会
演讲 (15)
OPAM-builder：OPAM 存储库的持续监控
作者(s):Fabrice Le Fessant
OCaml 中的内存统计分析
作者(s):Jacques-Henri Jourdan
Inuit 库：从 printf 到交互式用户界面
作者(s):Frédéric Bour
ocp-lint，一个基于插件的样式检查器，带有语义补丁
作者(s):Çagdas Bozman，Théophane Hufschmitt，Michael Laporte，Fabrice Le Fessant
部分求值和元编程
作者(s):Pierre Chambart
会议详情
程序委员会
•Kenichi Asai(日本お茶の水女子大学)
•Oleg Kiselyov(日本东北大学)
•Igor Pikovets(美国 Ahrefs Research)
•Mindy Preston(英国 Docker)
•Gabriel Scherer(美国东北大学)
•Mark Shinwell(英国 Jane Street Europe (主席))
•KC Sivaramakrishnan(英国剑桥大学)
•Jerome Vouillon(法国 PPS)
•Jordan Walke(美国 Facebook)