ocaml:
type: Reference
author:
- Xavier Leroy
- Damien Doligez
- Alain Frisch
- Jacques Garrigue
- Didier Rรฉmy
- Jรฉrรดme Vouillon
title: The OCaml system, release 5.3
url: https://caml.inria.fr/pub/docs/manual-ocaml/5.3
dropbox-large-scale-scripting:
type: Article
title: Our journey to type checking 4 million lines of Python
publisher: Dropbox.Tech
author: Jukka Lehtosalo
url:
value: https://dropbox.tech/application/our-journey-to-type-checking-4-million-lines-of-python
date: 2026-04-06