Go backward to
Typing Rules
Go up to
Top
Go forward to
Denotational Semantics
Typing Rules
E
1
E
2
pi
|- E
1
:
theta
1
->
theta
2
pi
|- E
2
:
theta
1
pi
|- E
1
E
2
:
theta
2
pi
|- E
1
:
tau
->
theta
pi
|- E
2
:
tau
exp
pi
|- E
1
E
2
:
theta
tau
in {
int
,
bool
}
Second rule forces evaluation of actual parameter.
Various possibilities!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine