Register | 
submit
View Cart
Our agreement with Amazon.com enables us to offer a fine selection of magazines for IT professionals and home computing enthusiasts about topics such as personal computing and application development. Browse by category or use our advanced search service to search by title, publisher, or keyword.
 
If you find something that appeals to you, add it to your cart with confidence knowing that you'll get Amazon.com's lowest price. When you're ready to buy, we'll take you to Amazon's pages for final checkout and payment.
 
100% of all commissions earned by Kazzlo International are donated to Project Respond, a public charity dedicated to a greener, healthier planet and sponsor of initiatives such as the Green School Scholarship Award program.
 
Help
Perform a New Search

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages
Details | Description | Customer Reviews
By: Benjamin C. Pierce (Editor)  (Hardcover - 2004)
Eligible for FREE Super Saver Shipping.
Availability:   Usually ships in 24 hours  
 
List Price:   $74.00 Our Price:  $63.65 Save:  14%
Product Details
More Buying Choices

49 used & new   from  $54.56
 
 
Have one to sell?
   
» Hardcover: (608 pages)
» Publisher:  The MIT Press (December 23, 2004)
» ISBN: 0262162288
» Product Dimensions: 9 x 8.1 x 1.3 inches
» Amazon.com Sales Rank: #719,411 in Books
» Average Customer Review: 
     
 
 
Book Description
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.



Customer Reviews
Average Customer Review
5.0 out of 5 stars (2 customer reviews)
2 Reviews
5 star:
 (2)
4 star:    (0)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 

10 of 11 people found the following review helpful
5.0 out of 5 stars Mandatory text for researchers in programming languages, March 6, 2010
Verified Purchase(What's this?)
This review is from: Advanced Topics in Types and Programming Languages (Hardcover)
This book, like its predecessor, TAPL, is a mandatory text for anyone doing research in programming languages. The chapters are each written by key researchers associated with the topics presented. As many of these topics do not have introductory treatment in the research literature or any other books, these chapters are often the best place to learn about these topics --- all of which appear frequently in modern PL research.
0
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


0 of 2 people found the following review helpful
5.0 out of 5 stars ATAPL is a must read for all PL enthusiasts, October 15, 2013
Verified Purchase(What's this?)
This review is from: Advanced Topics in Types and Programming Languages (Hardcover)
If you want to get into the dependently typed camp and understand its power then you need this book to help you on the path.
0
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


Share your thoughts with other customers:
› See both customer reviews...
All brands, company, or product names or trademarks belong to their respective holders.
An AJAX error has occurred while processing the data