返回会议

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

使用多核 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(卡内基梅隆大学,美国)

  • Florian Angeletti(法国国家信息与自动化研究所,法国)

  • Chris Casinghino(德雷珀实验室,美国)

  • Catherine Gasnier(Facebook,美国)

  • Rudi Grinberg(OCaml Labs,英国)

  • Oleg Kiselyov(东北大学,日本)

  • Andreas Rossberg(Dfinity 基金会,德国)

  • Marcello Seri(格罗宁根大学,荷兰)

  • Edwin Torok(思杰,英国)

  • Leo White(简街资本,美国)

  • Greta Yorsh(简街资本,美国)

  • Sarah Zennou(空中客车,法国)

一些视频

OCaml 的声明式语法定义
OCaml 中基于属性的测试的简单状态机框架
AD-OCaml:OCaml 的算法微分
API 迁移:比较转换后的
Irmin v2
LexiFi 运行时类型