Polyphonic C#

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.

Polyphonic C# is being designed and implemented by Nick Benton, Luca Cardelli and Cédric Fournet of Microsoft Research, Cambridge.

Read also the Introduction to Polyphonic C#.