"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how
This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming.
Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers withou