Simon Peyton Jones also work for Microsoft, so maybe add Haskell to the list.