| 
|
Quote: type checking in Russell consists of matching argument signatures with parameter signatures
topics >
all references >
references c-d >
Topic:
function signature
Topic:
data type as a set of operations
Quotation Skeleton
In a legal Russell program the signature of … This notion of "matching" of signatures subsumes the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: function signature (21 items)
Topic: data type as a set of operations (38 items)