Programming Languages: Concepts and Implementation teaches language concepts from two complementary perspectives: implementation and paradigms. It covers the im
A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, wi
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how