claim

active

claim:denotational-design-yields-laws-for-free-via-type-class-morphisms

Denotational design yields laws for free via type class morphisms.

Claim that algebraic laws are automatically satisfied.

Source paper

extracted_from

Denotational design with type class morphisms (extended version)

(2015) · Elliott, Conal

Neighborhood — ranked by edge-count

Frameworks (1)

framework

Type Class Morphism (TCM)
supports
Principle that the instance's meaning follows the meaning's instance; every TCM failure indicates an abstraction leak.

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.

Denotational design is free of abstraction leaks.claim0.826
Another key property.
Denotational design uses standard algebraic abstractions.claim0.821
One of the six key properties of denotational design.
Denotational design enables principled construction of correct implementation.claim0.816
The final property of the methodology.
Denotational Designconcept0.808
Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation
Denotational design yields a precise, simple, and compelling specification that informs use and implementation without entangling them.claim0.807
Core claim of the methodology.
Denotational design applies functional principles to user interface structure.claim0.792
Denotational Design Principlesclaim0.783
Laws for free from semantic homomorphism.claim0.770