Cool things come from MS Research from time to time. Here's one of them: Polyphonic C#. Here's the description:

Polyphonic C# extends the C# programming language with new asynchronous concurrency abstractions, based on the join calculus. The language presents a simple and powerful model of concurrency which is applicable both to multithreaded applications running on a single machine and to the orchestration of asynchronous, event-based applications communicating over a wide area network.

Tomas Restrepo

Software developer located in Colombia.