Go backward to Typing Rules Go up to Top Go forward to Denotational Semantics

Typing Rules

• E₁ E₂

  • pi |- E1: theta1 -> theta2	pi |- E2: theta1
    pi |- E1 E2: theta2

  • pi |- E1: tau -> theta	pi |- E2: tauexp
    pi |- E1 E2: theta

    
    tau in { int, bool }
  • Second rule forces evaluation of actual parameter.
• Various possibilities!