Here is a review left by a customer on a product. Would you say he was satisfied or dissatisfied?
Title: difficult but interesting
Review: 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.
