Have one to sell? Sell yours here
The Structure of Typed Programming Languages (Foundations of Computing)
 
 
Share your own customer images
Search inside this book
Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

The Structure of Typed Programming Languages (Foundations of Computing) [Import] [Paperback]

David A. Schmidt (Author)
5.0 out of 5 stars  See all reviews (1 customer review) |

Available from these sellers.


Textbook Student FREE Two-Day Shipping for students on millions of items. Learn more

Formats

 Amazon Price New from Used from
Hardcover --   -- --
Paperback, Import --   -- --

Customers Who Viewed This Item Also Viewed

Product Details

  • Paperback: 384 pages
  • Publisher: The MIT Press (April 11, 1994)
  • Language: English
  • ISBN-10: 026269171X
  • ISBN-13: 978-0262691710
  • Product Dimensions: 8.9 x 7.1 x 0.9 inches
  • Shipping Weight: 1.6 pounds
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #2,291,897 in Books (See Top 100 in Books)

    •  Would you like to update product info or give feedback on images?

More About the Author

› Visit Amazon's David A. Schmidt Page
David A. Schmidt
Discover books, learn about writers, read author blogs, and more.
 

Customer Reviews

1 Review
5 star:
 (1)
4 star:    (0)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
5.0 out of 5 stars (1 customer review)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

7 of 7 people found the following review helpful:
5.0 out of 5 stars difficult but interesting, April 5, 2000
This review is from: The Structure of Typed Programming Languages (Foundations of Computing) (Hardcover)
This book formally describes the type semantics of procedural and functional languages. It is about half dense prose and half math notation. It's not what you would call a popular treatment. As with any book that has very heavy math notation, I found myself reading very slowly. However the material is interesting. Various research results from the early 90s are presented. I think that thoughtful programmers who are interested in compiler technology and/or correctness proofs will enjoy this work.
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No

Share your thoughts with other customers: Create your own review
 
 
 
Only search this product's reviews


Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Search Inside This Book:
Inside This Book (learn more)
Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Search Inside This Book:

What Other Items Do Customers Buy After Viewing This Item?

› Explore similar items

Suggested Tags from Similar Products

 (What's this?)
Be the first one to add a relevant tag (keyword that's strongly related to this product).
 
(20)
(20)
(15)
(14)
(10)
(5)
(4)
(4)
(4)
(4)

Your tags: Add your first tag
 
See most popular tags

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Search Customer Discussions
Search all Amazon discussions
   
Related forums

So You'd Like to...

Create a guide

Look for Similar Items by Category

Look for Similar Items by Subject

Search Books by subject:












i.e., each book must be in subject 1 AND subject 2 AND ...