Off the top of my head:

* type inference

* message passing concurrency