Types and Programming Languages was one of the books used for my (undergrad) programming languages course. This article made me feel much less guilty about not actually understanding most of the small amount that we did end up actually reading.