Cart (0)
Digital Cart (0)
0 Shortlist
Some error has occured while getting your complete shortlist. Retry
Use this space to shortlist the products you like. To add a product here, simply click the icon.

Add another Item

Add another Item

Add another Item

Add another Item

Compare Upto 4 products
You can't compare with the above items. (Clear all items in the Compare list)


Language: English
Publisher: Phi Learning Pvt. Ltd
This product is Permanently discontinued.

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.

Was this product information helpful?
Thanks for your vote!
Please write your feedback before submitting.

Specifications of TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition (Paperback)

Book Details
Publisher Phi Learning Pvt. Ltd
ISBN-10 8120324625
Edition 01
Publication Year 2004
Language English
ISBN-13 9788120324626
Binding Paperback
Author Pierce Benjamin C
Was the product specification helpful?
Thanks for your vote!
Please write your feedback before submitting.

Please Note: All products sold on Flipkart are brand new and 100% genuine

Reviews of TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition (Paperback)

Have you used this product?

Rate it now.

No reviews available.


Save For Later
  • Get price drop alerts + personalized offers on these items
  • Share your list with friends & family
  • Quick & easy access to your saved list
has been successfully added to your Saved for Later list!
View your Saved List
Loading ...