Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
Monadic Theory of Order and Topology, I
Publication
Proving the Correctness of Multiprocess Programs
Publication
How to Tell a Program from an Automobile
Publication
Storage allocation in typed languages
Publication
On the Glitch Phenomenon
Publication
Semi-conservative Reduction
Publication