| 
|
Quote: within a polymorphic procedure, a type parameter is a type with a given set of operations
topics >
all references >
references c-d >
Topic:
data types in Thesa
Topic:
data type as a set of operations
Topic:
type parameter
Quotation Skeleton
Within the body of a polymorphic procedure, a … its with clause. An acceptable argument provides those … type argument be transformed to match the parameter … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: data types in Thesa (92 items)
Topic: data type as a set of operations (38 items)
Topic: type parameter (34 items)