Retaining the same organization as its predecessor, this second edition adds considerable material on new topics.
Describes fundamental concepts of programming languages by presenting design issues of the various language constructs.
Provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages.