Microsoft also have Microsoft Research Cambridge. Where I am pretty sure they have Simon Peyton Jones who works on Haskell there.