Programming Languages Theory


Essentials of Programming Languages
Types and Programming Languages (Mit Press)
Compiling to Assembly from Scratch
Understanding Computation: From Simple Machines to Impossible Programs
The Object-Oriented Thought Process
Design Concepts in Programming Languages
The Little Typer (Mit Press)
Introduction to Functional Programming (Prentice-Hall Series in Engineering of the Physical Sciences)
A Theory of Objects (Monographs in Computer Science)
Prototype-Based Programming: Concepts, Languages and Applications
OBJECT-ORIENTED DESIGN
Object-Oriented Software Construction (Book/CD-ROM)
Programming Languages: Application and Interpretation
Compiling with Continuations
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)