Sponsored
Advanced Topics in Types and Programming Languages - by Benjamin C Pierce (Paperback)
$85.00 when purchased online
Target Online store #3991
About this item
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.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 above aren’t accurate or complete, we want to know about it.
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
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, shipped, delivered by a Shipt shopper, or made ready for pickup.
See the return policy for complete information.