Lambda the Ultimate

I am a Researcher in the Programming Principles and Tools group at Microsoft Research Cambridge.

Type systems and formal semantics for programming languages, optimizing compilation, functional programming.