Aleks replied about contracts (in the comments below the article):
We definitely tried to learn from Eiffel. Our contract
system really isn't revolutionary at all; we just tried
to take the simplest and best parts of Eiffel, and
distill them down into a format that would feel familiar
and comfortable for C# developers.