Further Analysis

http://jorgetown.blogspot.com/2007/12/types-and-programming-...