| 
|
Quote: a type is a subtype if every value matches the base type; because of named element typing, verify by regular expressions
topics >
all references >
references sa-sz >
Group:
type checking
Topic:
data type by name or tags
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
The judgment Type_1 subtype Type_2 holds if every … Subtyping is the only judgment that is not … subtype Type 2 if and only if for … . we can use ordinary regular expressions and … [to verify subtyping] because pure named typing guarantees that one can check that … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type checking (12 topics, 385 quotes)
Topic: data type by name or tags (29 items)
Topic: structural equivalence vs. name equivalence of data types (30 items)