Polyphonic C Sharp


Polyphonic C# is an extension of the C# programming language.
It includes a new concurrency model in which objects can have both synchronous and asynchronous methods. The language is being developed by Nick Benton, Luca Cardelli and Cédric Fournet at Microsoft Research.
Polyphonic C# is based on the join-calculus developed at INRIA Rocquencourt by Cédric Fournet et al.
Polyphonic C# has been integrated with Cω.