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.
And I think you'll find that Gilad Bracha is a more informed critic of reliance on static type checking.