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