Go backward to Lazy and Eager Bindings Go up to Top Go forward to Typing Rules |
pi |- newint: intloc exp |
pi |- E: theta |
pi |- lazy I=E: { I:theta}exp |
pi |- E: tauexp |
pi |- eager I=E: { I:tau}exp |
pi |- E_{1}: pi_{1} | pi -U- pi_{1} |- E_{2}: theta |
pi |- with E_{1} do E_{2}: theta |
pi |- E_{1}: pi_{1}exp | pi -U- pi_{1} |- E_{2}: tauexp |
pi |- with E_{1} do E_{2}: tauexp |