| 
|
Quote: type erasure is the inverse of validation; validation if and only if value matches type and erases to the untyped value
topics >
all references >
references sa-sz >
Topic:
translation of data
Quotation Skeleton
The inverse of validation is type erasure. element … THEOREM 1. We have that validate as Type … [and] Value erases to UntypedValue. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: translation of data (26 items)