Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Kinds are calling conventions
Publication
A quick look at impredicativity
Publication