Cart (0)
Digital Cart (0)

Add Another Item

Add Another Item

Add Another Item

Add Another Item

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

TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition

(Paperback)
Paperback
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?
Yes
No
Thanks for your vote!
Please write your feedback before submitting.
Was this information helpful?
Yes
No
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
Contributors
Author Pierce Benjamin C
Was the product specification helpful?
Yes
No
Thanks for your vote!
Please write your feedback before submitting.

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

 

PAYMENT METHOD

POWERED BY
Loading ...