|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
7 of 7 people found the following review helpful:
5.0 out of 5 stars
difficult but interesting,
By Brian Caulfield (NY NY) - See all my reviews
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.
|
|
Most Helpful First | Newest First
|
|
The Structure of Typed Programming Languages (Foundations of Computing) by David A. Schmidt (Paperback - April 11, 1994)
Used & New from: $35.43
| |
| ||
