Aleph is a multi-threaded functional programming language