Concurrent functional programming language
