| 
|
Quote: validation theorem -- validates iff matches and erases; roundtripping if unambiguous
topics >
all references >
references sa-sz >
Topic:
text markup and structured text
Group:
type checking
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
THEOREM 1. (Validation) We have that validate as … [and] Value erases to UntypedValue. … so long as the type is unambiguous [roundtripping] follows immediately from the validation theorem. … so long as the type is unambiguous for … [reverse roundtripping] follows immediately from the validation theorem. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: text markup and structured text (25 items)
Group: type checking (12 topics, 392 quotes)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)