.NET Programming
Language Research
@ MSR Cambridge
Cédric Fournet    Nick Benton
Microsoft Research
Cambridge