3
Kcas: Building a lock-free STM for OCaml (1/2)
(tarides.com)
An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org