A typed, functional, concurrent programming language
a typed, functional, concurrent programming language