OCaml Users and Developers slides and videos

  • compiler developments; new backends, runtime and architectures.
  • practical type system improvements, such as (but not exhaustively) GADTs, first-class modules, generic programming, or dependent types.
  • new library or application releases, and their design rationales.
  • tool enhancements by commercial consultants.
  • prominent industrial uses of OCaml, or deployments in unusual situations…