Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
A static semantics for Haskell
Publication
From Certainty Factors to Belief Networks
Publication