征稿(过去)
范围
讨论将集中在 OCaml 编程的实践方面,以及工具链的细节,以及即将进行的改进和更改。因此,我们旨在征集有关所有与改进语言及其编程环境的使用或开发相关的演讲,包括例如
-
编译器开发、新的后端、运行时和体系结构
-
实用的类型系统改进,例如(但不限于)GADTs、一等模块、泛型编程或依赖类型
-
新的库或应用程序发布及其设计原理
-
工具和基础设施服务及其增强功能
-
OCaml 的突出工业或实验用途,或在特殊情况下的部署。
提交
这将是一个非正式会议,将在线记录会议记录,但不会有正式的会议记录。 演示文稿的幻灯片将从研讨会主页在线获取。 演示文稿可能会被录制,并在稍后提供。
要提交演讲,请在 https://easychair.org/conferences/?conf=ocaml2015 注册演讲的描述(大约 2 页长),提供关于演讲带来的内容的清晰陈述:解决的问题,提出的技术解决方案或方法。 如果你想进行演示或需要任何特殊设置,我们会尽力满足你的需求。
ML 家族研讨会和后处理
前一天举行的 ML 家族研讨会涉及 ML 风格编程和类型系统的通用问题,被认为更侧重于研究。 然而,它与 OCaml 研讨会有一些重叠,我们渴望探索,例如通过举行一个共同的会议。 我们鼓励那些认为他们的提交内容适合两个研讨会的作者在提交时提及它,或联系程序主席。
问题和联系
如有任何疑问,请发送电子邮件:Damien Doligez
2015 年 9 月 19 日
演讲视频已上线
2015 年 7 月 31 日
计划和参与征集
演示文稿(15)
OCaml 平台的现状:2015 年 9 月
作者(s):Anil Madhavapeddy,Amir Chaudhry,Thomas Gazagnaire,Jeremy Yallop,David Sheets
模块化宏
作者(s):Jeremy Yallop,Leo White
使用 Irmin 和 MirageOS 进行持久网络
作者(s):Mindy Preston,Magnus Skjegstad,Thomas Gazagnaire,Richard Mortier,Anil Madhavapeddy
四年生产环境中的 OCaml
作者(s):Anders Fugmann,Jonas B. Jensen,Mads Hartmann Jensen
会议详情
程序委员会
•Ashish AGARWAL(Solvuu, 美国)
•Sandrine BLAZY(雷恩一大,法国)
•Cristiano CALCAGNO(Facebook,美国)
•Emmanuel CHAILLOUX(巴黎六大,法国)
•Pierre CHAMBART(OCamlPro,法国)
•Damien DOLIGEZ(Jane Street,美国和法国国家信息与自动化研究所 (主席))
•Martin JAMBON(Esper,美国)
•Keigo IMAI(京都大学,日本)
•Julien VERLAGUET(Facebook,美国)
•Markus WEISSMAN(慕尼黑工业大学,德国)
•Jeremy YALLOP(OCaml Labs,英国)