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 program

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.