Chapter 1 exercise 1.5 for annotated type systems #9
Description
Hello,
I am reading principles of the program analysis book and trying to solve the exercises in the 1st chapter, but I am not getting how to solve exercise 1.5 in Neilson's book. Can you please help me with this.