Types considered harmful (2008) [pdf]

"Types => memory safety"? Only for certain definitions of "types", not all of them.