Go backward to Summary (Typing Rules)
Go up to Top
Go forward to Summary (Lambda Abstraction)
Summary (Semantics)
- Lazy evaluation semantics:
-
[[pi |- define I(I: tauexp) =
U: {I: tauexp theta}dec]]
= ({I=}, )
where = [[pi -U- {I:theta}
|- U: theta]]( -U- {I=})
-
[[pi |- invoke I(V): theta]] =
where (I=) in
and = [[pi |- V: theta]]
-
[[pi |- I: theta]] = ()
where (I=) in e
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine