| 
|
Quote: Euclid type names expand into type definitions; two types the same if same expanded definition
topics >
all references >
references a-b >
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
In Euclid a type identifier is considered an … are the same if their definitions look the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: structural equivalence vs. name equivalence of data types (30 items)