1892548

9780262162289

Advanced Topics in Types and Programming Languages
Advanced Topics in Types and Programming Languages
$52.67
$3.95 Shipping
List Price
$71.00
Discount
25% Off
You Save
$18.33

  • Condition: New
  • Provider: TextbookRush Contact
  • Provider Rating:
    92%
  • Ships From: Columbus, OH
  • Shipping: Standard, Expedited
  • Comments: All orders ship SAME or NEXT business day. Expedited shipments will be received in 1-5 business days within the United States. We proudly ship to APO/FPO addresses. 100% Satisfaction Guaranteed!

   30-day money back guarantee
$52.63
$3.95 Shipping
List Price
$71.00
Discount
25% Off
You Save
$18.37

  • Condition: Very Good
  • Provider: Beyond Words Books Contact
  • Provider Rating:
    100%
  • Ships From: Charlotte, NC
  • Shipping: Standard, Expedited
  • Comments: Great condition for a used book! Pages are clear of any marks. May show some minor wear to the exterior but not enough to disqualify it as very good. FAST, reliable shipping with free tracking and a 100% money-back guarantee from a socially responsible company with thousands of happy customers. Expedited shipping available. (Item listed to multiple sites)

   30-day money back guarantee
$32.10
$3.95 Shipping

Your due date: 11/30/2016

How do rentals work?
$71.00
List Price
$71.00
Discount
54% Off
You Save
$38.90

  • Condition: Good
  • Provider: Rent U Contact
  • Provider Rating:
    86%
  • Ships From: Salem, OR
  • Shipping: Standard, Expedited
  • Comments: Has minor wear and/or markings.

   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.