Ravinder Singh

Ashwin Sanghi

Preeti Shenoy

Robert Galbraith

Amish Tripathi

Joseph Murphy

Ravi Subramanian

Harper Lee

Paulo Coelho

Norman Lewis

Sudha Murty

View all categories
Found 1 result for '

9780262162098

'

by Benjamin C. Pierce

Format: Hardback
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications...  Read more
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is 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 numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators.Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Read less
Price: Rs.5637   Rs. 4792
You save: Rs. 845
OUT OF STOCK

Oops..9780262162098 is out of stock...
Please leave your email address.
We Would notify you once it is available.

Your email
Enter characters from image

Rediff Books Recommends (100)

Price: Rs.7340 Rs. 6239

OUT OF STOCK

Price: Rs.7976 Rs. 6779

OUT OF STOCK

Price: Rs.3465 Rs. 2946

OUT OF STOCK

» See all in Rediff Books Recommends


Rediff Books - India's Largest online Books store. Buy from a large collection of Books Online. We stock every new title under various genres with endless array of enduring classics. Get the best offers on category name books at best prices in India with a facility of Free Shipping and Cash on Delivery (COD). Search from 3.5 million books & the best authors.
Start your search here - save time, money and select your choice title most easily from the comfort of your home!