Go backward to Lazy Evaluation
Go up to Top
Go forward to Soundness of Typing Rules
Lazy Evaluation
- Invocation:
-
[[pi |- call I(E): comm]] =
where (I=) in
and = [[pi |- E: tauexp]]
- Formal parameter reference:
-
[[pi |- I: tauexp]] =
where (I=) in
- Current store is supplied to formal parameter!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine