[closure]

TAPL by Pierce is as far as I can tell the book everyone recommends, but if you have another you think is good I'm interested.