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

Types and Programming Languages (MIT Press)


Super Savings Item! Save 32% on the Types and Programming Languages (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.8 pounds
Item Size:1.06 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 (MIT Press) by imusti

Buy Now:
Types and Programming Languages (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
$65.11
You Save: 31%


Quantity:  

 


 


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


ean: 9780262133609, isbn: 0262133601,
Statistical approaches to processing natural language text have become dominant in recent years. This foundational text is the first comprehensive introduction to statistical natural language processing (NLP) to appear. The book contains all the theo...

ean: 9781575866321, isbn: 1575866323,
Previous printings of Language, Proof and Logic contained a CD-ROM.For the current version of this pack-files accompanying the textbook can be downloaded by using the Registration/Book ID# printed on the reverse side of the card. The textbook/softwar...

mpn: 9780321563842, ean: 9780321563842, isbn: 0321563840,
C++11 has arrived: thoroughly master it, with the definitive new guide from C++ creator Bjarne Stroustrup, C++ Programming Language, Fourth Edition! The brand-new edition of the world's most trusted and widely read guide to C++, it has been comprehen...



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