This comment is interesting (as I read SICP back in the day, but never any other PLT book):
I read EOPL independently in high school, and I thoroughly enjoyed it because it had a good balance between theory and practice. I would consider Types and Programming Languages to be theory-based, EOPL in the middle and SICP to be practice-based. (My personal order was SICP -> EOPL -> TAPL)
EOPL doesn't get my interest as much, as it uses Lisp.
Discussion of this PLT book at https://news.ycombinator.com/item?id=24324653
This comment is interesting (as I read SICP back in the day, but never any other PLT book):
EOPL doesn't get my interest as much, as it uses Lisp.
TAPL really seems "theory-based" to me, though I like the area it mostly covers (not finished it yet though)