Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se
The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as lazy functional languages, beginning with the theoreti
