OCaml 工作坊 2022 在斯洛維尼亞盧布亞納的 ICFP 2022 期間舉行
ACM Sigplan ICFP 頁面: OCaml 工作坊 2022
OCaml 用戶和開發者工作坊匯集了 OCaml 社群,包括業界 OCaml 用戶、學術界、業餘愛好者和自由軟體社群。
影片錄製將在 Sigplan YouTube 頻道 和 Watch OCaml 上提供。
2022 年 6 月 3 日
摘要提交截止日期
2022 年 7 月 15 日
作者通知
2022 年 9 月 16 日
OCaml 工作坊
簡報 (15)
使用 OBuilder 和 OCaml 的同質建構
作者:Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, Kate Deplaix
介紹 Bindoj 函式庫,一個以資料型別為中心的生成式程式設計函式庫,用於 OCaml 中的真實世界程式設計
作者:Haochen M. Kotoi-Xie, Hirotetsu Hongo, Yuta Sato, Shinya Yamaguchi
在 Learn-OCaml 中支援 FLAT 概念:眼見為憑;程式設計是理解
作者:Artur Miguel Dias, Simão Melo de Sousa, Antonio Ravara
會議詳情
計畫委員會
•Matija Pretnar(盧布爾雅那大學,斯洛維尼亞)
•Louis Gesbert(OCamlPro, 法國)
•Oleg Kiselyov(東北大學,日本)
•Daan Leijen(微軟研究院,美國)
•Andrey Mokhov(Jane Street, 英國)
•Benoît Montagu(Inria, 法國)
•Zoe Paraskevopoulou(東北大學,美國)
•Matija Pretnar(盧布爾雅那大學,斯洛維尼亞)
•Gabriel Radanne(Inria, 法國)
•Takafumi Saikawa(名古屋大學,日本)
•KC Sivaramakrishnan(印度理工學院馬德拉斯分校和Tarides,印度)
•Beta Ziliani(FAMAF, UNC 和 Manas.Tech, 阿根廷)