Language Tools for Distributed Computing and Program Generation Yannis Smaragdakis University of Oregon (with a cast of many: credits at the end) research.
Polyphonic C# Nick Benton, Luca Cardelli and Cedric Fournet Microsoft Research Cambridge.
Modern Concurrency Abstractions for C# Nick Benton Luca Cardelli Cedric Fournet Microsoft Research, Cambridge.