A concurrent garbage collected and typesafe programming language
