Go backward to Proof of Correspondence
Go up to Top
Go forward to Typing of Parameter Lists
Parameter Lists
- Bind multiple values to multiple names.
- define I(I: theta, I: theta, ...,
I: theta) = U
- invoke I(V, V, ..., V)
- Sample syntax:
- D ::= ...| define I(FL)=U
FL ::= I:theta| I:theta, FL
U ::= ...| invoke I(AL)
AL ::= A | A, AL
- A bit cumbersome for writing type rules.
- Correspondence principle:
- Binding of multiple parameters.
- Multiple definition bindings (compound declaration)!
- Alternative syntax:
- D ::= ...| define I(F)=U
F ::= I:theta| F, F
V ::= ...| invoke I(D)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine