The correct title of this article is Polyphonic C#. The substitution or omission of the # is because of technical restrictions.
||multi-paradigm: structured, imperative, object-oriented, event-driven, functional, concurrent
||Nick Benton, Luca Cardelli, Cédric Fournet
||static, strong, safe, nominative
||C#, Join calculus
||Polyphonic C# Homepage
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ω.