Typical primitive types like integer or boolean, are … [ref] … The important property for reasoning about programs using … operations on other variables. … [For balloon types] This happens if: -- we have an …
Google-1
Google-2
Copyright clearance needed for quotation.