返回会议列表

2013 年 OCaml 用户和开发者研讨会

美国马萨诸塞州波士顿

2013-09-24

征集演讲稿

请考虑提交演讲稿，并/或加入我们在波士顿的会议！请参阅此处的征集演讲稿。

提交

如有任何疑问，请发送电子邮件至：Michel Mauny <michel.mauny AT ensta-paristech DOT fr>

2013年6月18日

提交截止日期延长

2013年7月7日

通知演讲者

2013年9月24日

研讨会

演讲稿 (18)

在 OCaml 中访问和使用天气相关数据

作者：Hezekiah Carty

详情 下载 PDF

Frenetic 网络控制器

作者：Nate Foster、Arjun Guha、Frenetic 贡献者

详情 下载 PDF

Pfff：Facebook 的 PHP 程序分析

作者：Yoann Padioleau

详情 下载 PDF

wxOCaml 库的设计

作者：Fabrice Le Fessant

Goji：一个用于构建高级 OCaml-JavaScript 接口的自动化工具

作者：Benjamin Canou

详情 下载 PDF

ctypes：使用您的母语进行外部调用

作者：Jeremy Yallop

详情

OCaml 的现状

作者：Xavier Leroy

下载 PDF

OCaml 平台 v0.1

作者：Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White, Jeremy Yallop

详情 下载 PDF

OCaml 的扩展点

作者：Leo White

下载 PDF

使用 OCaml 进行高性能 GPGPU 编程

作者：Mathias Bourgoin, Emmmanuel Chailloux, Jean-Luc Lamotte

详情 下载 PDF

改进 OCaml 高级优化

作者：Pierre Chambart

详情 下载 PDF

基于 GADT 的 OCaml 格式新实现

作者：Benoît Vaugon

详情

OCaml 中的运行时类型

作者：Grégoire Henry, Jacques Garrigue

详情 下载 PDF

关于方差、单射性和抽象性

作者：Jacques Garrigue

详情 下载 PDF

Ocamlot：OCaml 在线测试

作者：David Sheets, Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire

详情 下载 PDF

Merlin，一个用于编辑 OCaml 代码的助手

作者：Frédéric Bour, Thomas Refis, Simon Castellan

详情

在不改变 OCaml 应用程序行为的情况下分析其内存使用情况

作者：Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, Thomas Gazagnaire

详情 下载 PDF

Core bench：OCaml 的微基准测试工具

作者：Christopher Hardin, James Roshan

详情 下载 PDF

会议详情

程序委员会

  • •Mark Shinwell（英国 Jane Street Europe）

  • •Damien Doligez（法国 INRIA Paris-Rocquencourt）

  • •Jun Furuse（新加坡渣打银行）

  • •Jacques Le Normand（美国谷歌）

  • •Michel Mauny（法国 ENSTA-ParisTech（主席））

  • •David Walker（美国普林斯顿大学）

  • •Jeremy Yallop（英国剑桥大学）

  • •Sarah Zennou（法国 EADS IW）