Eric's review of Types and Programming Languages
Types and Programming Languages by Benjamin C. Pierce
An invaluable reference for programming language theory. Especially useful for those interested in functional languages, which seem to be poorly covered elsewhere. This book works in the opposite direction as most, assuming a functional approach and eventually deriving imperative constructs, rather than the other way around. I like this much better, but it may be tough if you lack the functional background.
One thing I've noticed is that people seem to get hung up over the notation and liberal use of Greek symbols. If you've taken a logic class (and don't have symbolphobia), you should be fine. If you haven't, it's not hard to figure out with some initial effort, and it's very consistent throughout.
One thing I've noticed is that people seem to get hung up over the notation and liberal use of Greek symbols. If you've taken a logic class (and don't have symbolphobia), you should be fine. If you haven't, it's not hard to figure out with some initial effort, and it's very consistent throughout.
comments
No comments have been added yet.
