TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition (Paperback)
Price: Rs. 333
This engagingly elegant and well-balanced text offers a comprehensive introduction to the fundamental definitions, results and techniques of type systems and programming languages from a type-theoretic perspective. It is an introduction to both type systems in computer science and to the basic theory of programming languages. The study is significant as it has major applications in software engineering, language design, high-performance compiler implemen-tation, and security.
The book covers core topics including basic operational semantics and associated proof techniques, the untyped lambda calculus, simple type systems, universal and existential polymorphism, type reconstruction, subtyping, bounded quantification, recursive types and type operator.
The book uses types to navigate the rich variety of programming languages, bring a new kind of unity to their usage, theory and implementation techniques. The approach is both pragmatic and operational, each new concept is motivated by programming examples, and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by exercises and solutions as well as a running implementation available through the Web.
The exercises at the end of chapters range from easy to challenging, and the extensive References at the end of the book should enable the students to delve deeper into the subject.
Undergraduate and postgraduate students of computer science and IT would find this text highly useful and interesting.