Home Page for ATS - interesting functional programming language with eager evaluation and special support for imperative concepts and parallel programming. Particularly interesting: their compiler currently beats C++ in the Language Shootout - generates faster code.