Go backward to The Parameterization Principle
Go up to Top
Go forward to Typing Rules

Parameterized Abstractions

Parameterized V-abstraction:
- define I₁(I₂:theta) = V
- invoke I₁(U)
Parameters:
- Formal parameter $I$ ₂
- Actual parameter $U$ .
Typing of formal parameters:
- Type attribute $ϑ$ instead of type-structure value $T$ .
- Type-structure domain only describes variables.
- May use constant values (integers, commands, etc) as parameters.

Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine