Shop all MIT Press

Advanced Topics in Types and Programming Languages - by Benjamin C Pierce (Paperback)

Name: Advanced Topics in Types and Programming Languages - by Benjamin C Pierce (Paperback)
Brand: MIT Press
SKU: 93199579
Price: 85.00 USD
Availability: InStock

undefined out of 5 stars with 0 reviews

3 Questions

$85.00

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

A thorough and accessible introduction to a range of key ideas in type systems for programming language.
About the Author: Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
588 Pages
Computers + Internet, Computer Science

Description

Book Synopsis

A thorough and accessible introduction to a range of key ideas in type systems for programming language.

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 Languages builds 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 Languages can 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.

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

Specifications

Dimensions (Overall): 9.0 Inches (H) x 8.0 Inches (W) x 1.19 Inches (D)

Weight: 2.29 Pounds

Suggested Age: 22 Years and Up

Sub-Genre: Computer Science

Genre: Computers + Internet

Number of Pages: 588

Publisher: MIT Press

Format: Paperback

Author: Benjamin C Pierce

Language: English

Street Date: July 2, 2024

TCIN: 93199579

UPC: 9780262552677

Item Number (DPCI): 247-46-2840

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 1.19 inches length x 8 inches width x 9 inches height

Estimated ship weight: 2.29 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.

Q&A (3)

Q: Who is the author of this book?

AI Shopping Assistant - 9 days ago

A: The author is Benjamin C. Pierce, a Professor of Computer and Information Science.
submitted byAI Shopping Assistant - 9 days ago
Ai generated

Q: What type of exercises does the book include?

AI Shopping Assistant - 9 days ago

A: It includes a range of exercises from comprehension checks to challenging extensions, many with solutions.
submitted byAI Shopping Assistant - 9 days ago
Ai generated

Q: What topics are covered in this book?

AI Shopping Assistant - 9 days ago

A: The book covers type analyses, low-level language systems, reasoning about programs, module system design, and ML-style type inference.
submitted byAI Shopping Assistant - 9 days ago
Ai generated

Q: How does this book relate to earlier works?

AI Shopping Assistant - 9 days ago

A: It builds on Benjamin Pierce's earlier book 'Types and Programming Languages' by covering advanced topics.
submitted byAI Shopping Assistant - 9 days ago
Ai generated