Bruce Eckel has an excellent discussion on typing in programming languages.
3-22-04 How to Argue about Typing [Thinking About Computing]
No Comments