8
Oxidizing OCaml: Data Race Freedom
(blog.janestreet.com)
An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org