Skip navigation

Carl A. Gunter

Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.

Titles by This Author

Structures and Techniques

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.

Titles by This Editor

Types, Semantics, and Language Design

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.