Modern Concurrency Abstractions for C#

Nick Benton, Microsoft Research (joint work with Luca Cardelli and Cedric Fournet)

Polyphonic C# is an extension of the C# language with new asynchronous concurrency constructs, based on the Join Calculus. I'll describe the design and implementation of the language and give examples of its use in addressing a range of concurrent programming problems.