LINKS:
- 01:15 University of Cambridge - The Computer Laboratory
- 02:41 Robin Milner
- 05:08 Light-weight Threads
- 06:07 XenStore
- 08:05 Library Operating Systems
- 09:14 Unikernel
- 12:48 LifeDB
- 15:44 Xavier Leroy
- 15:47 Coq
- 15:53 CompCert
- 17:14 Inria
- 17:21 OCaml Labs
- 17:33 Thomas Gazagnaire
- 17:38 Opam
- 19:28 Hannes Mehnert
- 19:46 Mirleft
- 20:00 ocaml-tls
- 20:01 ocaml-asn1-combinators
- 20:03 ocaml-x509
- 20:09 David Kaloper
- 22:33 ReasonML
- 26:19 Christiano Haesbaert
- 26:22 Awá SSH library
- 26:47 Hindley–Milner type system
- 28:59 docs.mirage.io
- 29:40 Databox
- 30:58 KC Sivaramakrishnan
- 31:04 Multicore OCaml
- 32:47 RISC-V
- 33:13 Algebraic Effects
- 35:31 Reagents for multicore OCaml