Go backward to Summary (Typing Rules IV) Go up to Top Go forward to Summary (Semantics I)

Summary (Typing Rules V)

• Variable:

  • P |-X: intloc

    P |-X: intloc

• Numeral

  • P |- n: int

    , for n in Int

  • P |-X: int

    P |-X: int

• Identifier-expr:

  • P |- I:H

    , if (I:H) in P

  • P |- X:P1

    P |- X.I: H

    , if (I:H) in P₁