OCaml Workshop 2020
The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists, and the free software community.
The meeting is an informal community gathering of users of the language, library authors, and developers, using and extending OCaml in new ways. The meeting will be held online this year.
This workshop was originally planned to take place in Jersey City, New Jersey, USA and was later changed to be held virtually.
|A Declarative Syntax Definition for OCaml||Luis Eduardo de Souza Amorim, Eelco Visser||Video|
|A Simple State-Machine Framework for Property-Based Testing in OCaml||Jan Midtgaard||Video|
|AD-OCaml: Algorithmic Differentiation for OCaml||Markus Mottl||Video|
|API Migration: compare transformed||Joseph Harrison, Steven Varoumas, Simon Thompson, Reuben Rowe||Video|
|Irmin v2||Clément Pascutto, Ioana Cristescu, Craig Ferguson, Thomas Gazagnaire, Romain Liautaud||Video|
|LexiFi Runtime Types||Patrik Keller, Marc Lasson||Video|
|OCaml Under The Hood: SmartPy||Sebastien Mondet||Video|
|OCaml-CI: A Zero-Configuration CI||Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad, Anil Madhavapeddy||Video|
|Parallelising your OCaml Code with Multicore OCaml||Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, Anil Madhavapeddy||Link Video|
|The ImpFS filesystem||Tom Ridge||Video|
|The Final Pieces of the OCaml Documentation Puzzle||Jonathan Ludlam, Gabriel Radanne, Leo White||Video|
|Types in amber||Paul Steckler, Matthew Ryan||Video|