| 
|
Quote: two arguments have the same type if both name the same mathematical domain
topics >
all references >
references g-h >
Group:
type checking
Quotation Skeleton
the whole reason for having types and not … expected somewhere that an argument of type T_2 … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type checking (12 topics, 385 quotes)