Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Computers & Technology   Software

Types and Programming Languages (The MIT Press)


Super Savings Item! Save 33% on the Types and Programming Languages (The MIT Press) by imusti at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of


Product Description

A comprehensive introduction to type systems and programming languages.

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.

Additional Information

Manufacturer:The MIT Press
Brand:imusti
Publisher:The MIT Press
Studio:The MIT Press
EAN:9780262162098
Item Weight:2.91 pounds
Item Size:1.31 x 9 x 9 inches
Package Weight:2.91 pounds
Package Size:8.27 x 1.34 x 1.34 inches

Types and Programming Languages (The MIT Press) by imusti

Buy Now:
Types and Programming Languages (The MIT Press)

Brand: imusti
4.4 out of 5 stars with 53 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$95.00
$64.58
You Save: 32%


Quantity:  

 


View More In Software.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by imusti, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: 978-0-1311-0362-7, ean: 9780131103627, isbn: 0131103628,
The authors present the complete guide to ANSI standard C language programming. Written by the developers of C, this new version helps readers keep up with the finalized ANSI standard for C while showing how to take advantage of C's rich set of opera...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.