How to Argue about Typing

Bruce Eckel has an excellent discussion on typing in programming languages. 

3-22-04 How to Argue about Typing
[Thinking About Computing]