回到研討會

OCaml 工作坊 2020

線上舉行

2020-08-28

OCaml 使用者與開發者工作坊匯集了 OCaml 社群,包括業界、學術界、業餘愛好者和自由軟體社群的 OCaml 使用者。

此會議是一個非正式的社群聚會,參與者包含程式語言使用者、函式庫作者和開發人員,他們以新的方式使用和擴展 OCaml。今年的會議將在線上舉行。

本次工作坊原計畫在美國紐澤西州澤西市舉行,後來改為線上舉行。

2020 年 3 月 30 日

工作坊公告

2020 年 5 月 29 日

摘要提交截止日期(任何時區)

2020 年 7 月 17 日

作者通知

2020 年 8 月 14 日

定稿截止日期

2020 年 8 月 28 日

OCaml 工作坊

簡報 (12)

OCaml 的宣告式語法定義

作者:Luis Eduardo de Souza Amorim、Eelco Visser

OCaml 中基於屬性測試的簡單狀態機框架

作者:Jan Midtgaard

AD-OCaml:OCaml 的演算法微分

作者:Markus Mottl

API 遷移:比較轉換

作者:Joseph Harrison、Steven Varoumas、Simon Thompson、Reuben Rowe

Irmin v2

作者:Clément Pascutto、Ioana Cristescu、Craig Ferguson、Thomas Gazagnaire、Romain Liautaud

LexiFi 執行時型別

作者:Patrik Keller、Marc Lasson

OCaml 底層原理:SmartPy

作者:Sebastien Mondet

OCaml-CI:零配置 CI

作者:Thomas Leonard、Craig Ferguson、Kate Deplaix、Magnus Skjegstad、Anil Madhavapeddy

使用 Multicore OCaml 平行化您的 OCaml 程式碼

作者:Sadiq Jaffer、Sudha Parimala、KC Sivaramakrishnan、Tom Kelly、Anil Madhavapeddy

ImpFS 檔案系統

作者:Tom Ridge

OCaml 文件拼圖的最後幾塊

作者:Jonathan Ludlam、Gabriel Radanne、Leo White

琥珀中的型別

作者:Paul Steckler、Matthew Ryan

研討會詳細資訊

計畫委員會

  • Ivan Gotovchits(CMU, 美國)

  • Florian Angeletti(INRIA, 法國)

  • Chris Casinghino(Draper Laboratory, 美國)

  • Catherine Gasnier(Facebook, 美國)

  • Rudi Grinberg(OCaml Labs, 英國)

  • Oleg Kiselyov(東北大學, 日本)

  • Andreas Rossberg(Dfinity Stiftung, 德國)

  • Marcello Seri(格羅寧根大學, 荷蘭)

  • Edwin Torok(Citrix, 英國)

  • Leo White(Jane Street, 美國)

  • Greta Yorsh(Jane Street, 美國)

  • Sarah Zennou(Airbus, 法國)

一些影片

OCaml 的宣告式語法定義
OCaml 中基於屬性測試的簡單狀態機框架
AD-OCaml:OCaml 的演算法微分
API 遷移:比較轉換
Irmin v2
LexiFi 執行時型別