[MilnerRoute]

I first learned about types in "Head-First Java". I don't know how comprehensive it is, but the whole design of that book series is meant to be unintimidating. (Pictures with captions, illustrations....)