Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
A member lookup algorithm for {C}++
Publication
Formal verification of FIRE: A case study.
Publication
On Simultaneous Rigid E-Unification
Publication
Refined Type Inference for ML
Publication