Why OCaml Keeps Showing Up Where Software Has to Be Correct

OCaml helps tame complex software