community
active
leiden_hybrid_concepts
label: sonnet
community:leiden_hybrid_concepts-run2-c40Denotational design for GUIs
Conal Elliott's approach: derive library APIs from precise mathematical models of meaning
6 members. Each node is clickable.
Loading graph…
Drawn from 4 sources
The papers/notes whose extracted claims & findings make up this cluster.
- Genuinely Functional User Interfaces2 members
- Artificial Intelligence and Linda in Context2 members
- Denotational Design: from meanings to programs1 member
- unfold-chat-catalog.md1 member
Bridges (8)
Other communities that share members with this one — cross-cutting threads or papers that sit at the seam between two themes.
- Design principles for care-centered systems5 shared
- Denotational design and interface abstraction3 shared
- Denotational design for dignified interfaces2 shared
- Abstraction alignment in complex systems design1 shared
- Mechanistic interpretability & model evaluation1 shared
- Linda and coordination-oriented programming systems1 shared
- Autoregressive models and context window limitations1 shared
- Constraint-based formal models of software design1 shared
Claims (6)
- Denotational Design Principles
- Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.
- Formal denotational models of GUIs enable program verification, equivalence reasoning, and systematic extension to new paradigms.
- Simple problems require systems that expose simple solutions; forcing complex solutions signals misaligned abstraction level.Parlog's merge process for client-server is unnecessarily complex; Linda's tuple operations remain flexible across problem variants.
- When a problem has a simple solution, a useful system will give programmers access to the simple solution; Parlog forces complex solutions to simple problems.Critique that Parlog's abstraction level is too high and restrictive.
- Denotational design applies functional principles to user interface structure.