Practical Foundations for Programming Languages

The name is “practical foundation” but the first chapter (I haven’t finished chapter 1 yet) is too abstract. I do not hate abstract stuff only if they are deemed necessary and contain important information. My feeling is that unfortunately the material in the first chapter belongs to what mathematicians call “abstract nonsense”: very contrived way to say something really simple. For example, so many notations are used to define substitution of indeterminate by variable. In the meantime, some terms are used without definition like “operators has a sort”. What is a sort? I can guess but the chain of rigour breaks at its weakest point.

It was a gift so I really cannot review it.

Perfect book in perfect condition