Dminor - Microsoft Research's data-modeling language
research.microsoft.com
research.microsoft.com
Research paper describing a preliminary version of Dminor: http://research.microsoft.com/en-us/um/people/adg/minim.html
The readme.html from inside the archive, with a basic overview of the language and some samples: http://dl.dropbox.com/u/1643240/dminor_readme.html
Please note that the readme is made available under the terms of the license that applies to the rest of the package. IANAL but reposting the readme seemed acceptable based on my reading of the license. http://research.microsoft.com/en-us/downloads/cd60cdb0-353f-...
Anyway, on the programming languages front, Microsoft is releasing some pretty cool stuff and they should get some credit for that, regardless of their history.