| 
|
Quote: XQuery standardization unanimously accepted pure named typing due to its simplification of formal semantics
topics >
all references >
references sa-sz >
Topic:
formal methods and languages
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
In October 2002 the XQuery working group decided … named typing simplifies the formal semantics. The presentation … the only decision adopted without dissent -- a … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Topic: structural equivalence vs. name equivalence of data types (30 items)