| http://www.w3.org/ns/prov#value | - Given a completely inferred type system, name binding cannot be relied on to resolve references to symbols, such as methods, fields, and so on, because types do not pre-exist to establish an appropriate name scope context, and anyways, as Edwards observes in his Subtext work: names are too rich in meaning to waste on talking to compilers.
|
