范围
OCaml 用户与开发者研讨会将汇聚 OCaml 的工业用户、致力于扩展语言、类型系统和工具的学者以及黑客。讨论将重点关注 OCaml 编程的实践方面以及工具链的细节，以及即将到来的改进和变化。因此，我们的目标是征集与改进语言的使用或开发相关的各个方面相关的演讲，例如
-
编译器开发；新的后端、运行时和架构。
-
实用的类型系统改进，例如（但不限于）GADTs、一等模块、泛型编程或依赖类型。
-
新的库或应用程序发布，以及它们的设计原理。
-
商业顾问对工具的增强。
-
OCaml 在工业中的突出应用，或在特殊情况下的部署。
这将是一次非正式的会议，会议将有在线记录，但今年没有正式的会议记录。演示文稿的幻灯片将在研讨会主页上在线提供。
问题和联系方式
如果您对研讨会有任何疑问或建议，请联系 Didier Remy ([email protected]) 或 Anil Madhavapeddy ([email protected])。
此信息也有 ASCII 版本，适合在邮件列表中传播。请帮助宣传这次会议！
2012 年 7 月 8 日
摘要提交截止日期
2012 年 7 月 6 日
通知演讲者
2012 年 8 月 9 日
提前注册截止日期
2012 年 7 月 14 日
研讨会日期
演示文稿 (21)
欢迎
作者：Didier Remy，Anil Madhavapeddy
为 OCaml 实现区间计算库
作者：Jean-Marc Alliot，Charlie Vanaret，Jean-Baptiste Gotteland，Nicolas Durand，David Gianazza
Biocaml：OCaml 生物信息学库
作者：Ashish Agarwal，Sebastien Mondet，Philippe Veber，Christophe Troestler，Francois Berenger
会议详情
程序委员会
•Didier Remy (联合主席)()
•Anil Madhavapeddy (联合主席)()
•Alain Frisch()
•Jacques Garrigue()
•Richard Jones()
•Thomas Gazagnaire()
•Martin Jambon()