[ericssmith]

You should try skimming to the end, where there are two pages of references. Not to mention the fact that Cardelli is a prominent figure in the study of programming languages.

And I think you'll find that Gilad Bracha is a more informed critic of reliance on static type checking.

[pjmlp]

Yep, he was one of the designers in the Modula-2+ and Modula-3 languages.