Cart (0)
Digital Cart (0)
Home  >  TYPES AND PROGRAMMING LANGUAGES (English) 01 Edi...
Buy TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition

TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition

Paperback
Language: English
Publisher: Phi Learning Pvt. Ltd
Rs. 350
Rs. 333
Inclusive of taxes
Seller: WS Retail
0 Offers
COMBO OFFER: Exciting combos available View combos
This item is Out of Print [?]
Shipping to: Change

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.




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

Contributors
Author Pierce Benjamin C
Book Details
Publisher Phi Learning Pvt. Ltd
Publication Year 2004
ISBN-13 9788120324626
ISBN-10 8120324625
Language English
Edition 01
Binding Paperback
Please note: All products sold on Flipkart are brand new and 100% genuine

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

Have you used this product?
Be the first to rate it.
No reviews available.
    Book: TYPES AND PROGRAMMING LANGUAGES (English) 01 Edition by Pierce Benjamin C
    ISBN Number: 8120324625, 9788120324626, 978-8120324626

PAYMENT METHOD

POWERED BY
Loading ...