This book, which has long become a classic, contains a comprehensive introduction to type systems used in computer science. Topics considered include untyped lambda calculus, simple type systems, polymorphism, type embedding, and recursive types. Each of the concepts considered is accompanied by many examples and tasks, which allows you to consolidate the theoretical material. The book will be useful for both practicing developers and undergraduate and graduate students in computer science.