compiles to machine code
have green threads
use non-blocking IO in the background
have parallel runtime
Haskell is the first that comes to my mind. (I guess that Common Lisp is a safe bet too, as it had everything for ages before it was cool;), but I'm not familiar with that domain to be sure) Erlang have everything except machine code compilation.
What else? I guess the rest is from the newer, lesser known or experimental languages. So is there anything more popular than Haskell?