CSC448: Type Checking: Integers and Strings [13/18]

Suppose we want to type check expressions of the following language:

exp ::= <INT>
      | <STRING>
      | exp "+" exp
      | exp "-" exp
      | "length" "(" exp ")"
      | "inttostring" "(" exp ")"

        

Inductive definition of type checking rules.