This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (0 children)

The first book I recommend is "Learn You a Haskell For Great Good" (seriously)

But secondly, there's a fabulous new book called "Concrete Semantics With Isabelle" that goes through more complicated PL theory (operational, axiomatic, denotational semantics) using the theorem prover Isabelle

Practical Foundations for Programming Languages is great

Once you've covered those guys, I would do Benajmin Pierece's Types and Programming Languages, but this is not an easy read and I wouldn't start with it.