Go backward to Polymorphic Parameterized Abstracts Go up to Top Go forward to 1. Version

Typed Parameters

D ::= ...| proc I₁(I₂:T) = C
C ::= ...| I(E) | ...

Two ways to handle semantics of typed parameters:

1. Type information can guard entry to abstract at invocation.
2. Abstract's denotation is restricted at definition to a function whose domain is that specified by the type.