| 
|
Quote: mathematical definitions of types as extensional sets miss the importance of type checking
topics >
all references >
references m-o >
Group:
type checking
Topic:
data type as a set of values
Quotation Skeleton
There has been a natural tendency to look … While each of these [extensional type systems] lend valuable insight … what types are I shall focus on the … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type checking (12 topics, 385 quotes)
Topic: data type as a set of values (20 items)