Typing

• YouTube / FUN OCaml 2024 / Type engineering in OCaml, Illustrated on the OCaml Compiler by Florian Angeletti
  • LinkedIn

Books

• Architecture of Advanced Numerical Analysis Systems. Designing a Scientific Computing System using OCaml by Liang Wang, Jianxin Zhao - 472 pages