He is involved in a number of projects here in Cambridge, including the design and implementation of support for Generics in C#, the CLR, Visual Basic and other languages, the design and implementation of F# and a study of value recursion in safe and semi-safe programming languages.