claim
active
claim:each-expression-denotes-something-depending-only-on-denotations-of-subexpressions

Each expression denotes something, depending only on denotations of subexpressions.

Property of denotative programming from Landin.

Source paper

extracted_from
Denotational design with type class morphisms (extended version)
(2015) · Elliott, Conal

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.