1892548

9780262162289

Advanced Topics in Types and Programming Languages
Advanced Topics in Types and Programming Languages
$64.02
$3.95 Shipping
List Price
$71.00
Discount
9% Off
You Save
$6.98

  • Condition: New
  • Provider: GreatBookPrices2 Contact
  • Provider Rating:
    62%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Please allow 4-14 business days for Media Mail delivery. Brand New, Perfect Condition, 100% Money Back Guarantee, Over 1,000,000 customers served

   30-day money back guarantee
$54.98
$3.95 Shipping
List Price
$71.00
Discount
22% Off
You Save
$16.02

  • Condition: Like New
  • Provider: Better World Books Contact
  • Provider Rating:
    92%
  • Ships From: Mishawaka, IN
  • Shipping: Standard, Expedited
  • Comments: Book in almost Brand New condition. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!

   30-day money back guarantee
$135.61
$3.95 Shipping

Your due date: 5/31/2017

How do rentals work?
$71.00
  • Condition: Acceptable
  • Provider: CampusBookRentals Contact
  • Provider Rating:
    93%
  • Ships From: Ogden, UT
  • Shipping: Standard, Expedited (tracking available)
  • Comments: We serve students on over 5,871 college campuses every semester! Highlighting and writing is OK! Get a tracking number with every order. Questions? Or just want to hear our voice? Call us toll free anytime at 855-200-0021 or email us at valore@CampusBookR

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9780262162289
  • ISBN: 0262162288
  • Publication Date:
  • Publisher: MIT Press

AUTHOR

SUMMARY

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languagesbuilds on Benjamin Pierce's Types and Programming Languages(MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languagescan be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.Pierce, Benjamin C. is the author of 'Advanced Topics in Types and Programming Languages', published 2004 under ISBN 9780262162289 and ISBN 0262162288.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.