Some .NET research :
n Type Verifier (spec, test)
n SML.NET
n Haskell.NET
n Extended IL
n Generics for C# and .NET
n Polyphonic C#
n Code based security
n Project 7
n CLR design feedback
MS.NET day, Pisa, Sept 2001