10 of 10. Contains a pragmatic view of language typing by using formal operational semantics. It begins with an untyped lambda calculus and moves to simply-typed on up through more complex language syntax. The text is very well organized, introducing new topics in a logical progression from untyped to fully typed language syntax. The book uses ML to demonstrate example implementations along the way.

9 of 10. This is a very mathematically-oriented text on formal mechanisms for representing programming language semantics. Includes coverage of domain theory, and operational, denotational, and natural semantics, plus special coverage of parallel and nondeterministic formalisms. Very dense, but very well written.

6 of 10. Decent, albeit introductory and very sparse, coverage of various computer (hardware) architecture topics. This includes coverage of instruction set design, parallelism, pipelining, multi-core, and a variety of other interesting things. The biggest disappointment is the lack of depth in the topics covered. Still recommended as a quick reference to occupy your bookshelf.