返回研討會

OCaml 使用者與開發者研討會 2013

美國麻薩諸塞州波士頓

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

基於 GADTs 的 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(Google, 美國)

  • •Michel Mauny(ENSTA-ParisTech, 法國 (主席))

  • •David Walker(普林斯頓大學, 美國)

  • •Jeremy Yallop(劍橋大學, 英國)

  • •Sarah Zennou(EADS IW, 法國)