We used this at UT Austin, and it's a great book. It doesn't have a lot of stuff that you would find in a graduate PL course (e.g. type theory), so it doesn't prepare you to read PL papers, but building a lisp in scheme is a lot more fun than learning type theory!
And probably more useful, as the author asserts in his paper.
Comments
We used this at UT Austin, and it's a great book. It doesn't have a lot of stuff that you would find in a graduate PL course (e.g. type theory), so it doesn't prepare you to read PL papers, but building a lisp in scheme is a lot more fun than learning type theory!
And probably more useful, as the author asserts in his paper.
I could be wrong but I'm fairly certain PLAI covers basic type checking & inference. It doesn't get into harder stuff (e.g. dependent typing) though.