Go backward to Argument Evaluation Go up to Top Go forward to Polymorphism and Typing

Parameterized Type Expressions

Intersting parameterized abstract.

D ::= ...| type I₁(I₂) = T | ...
T ::= ...| I(T) | ...

type STACKOF(T) = record
    var ST: array [1..k] of T;
    var TOP: nat
end

var X: STACKOF(nat)

Semantics can be constructed analogously to that of procedures.