徵求發表(過去)
範圍
討論將著重於 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 月
作者:Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop, David Sheets
模組化巨集
作者:Jeremy Yallop, Leo White
透過代數效應實現有效並行
作者:Stephen Dolan, Leo White, Kc Sivaramakrishnan, Jeremy Yallop, Anil Madhavapeddy
使用 Irmin 和 MirageOS 的持久網路
作者:Mindy Preston, Magnus Skjegstad, Thomas Gazagnaire, Richard Mortier, Anil Madhavapeddy
OCaml 在生產環境中四年的經驗
作者: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,美國與 Inria,法國(主席))
•Martin JAMBON(Esper,美國)
•Keigo IMAI(京都大學,日本)
•Julien VERLAGUET(Facebook,美國)
•Markus WEISSMAN(慕尼黑工業大學,德國)
•Jeremy YALLOP(OCaml Labs,英國)