community

active

leiden_hybrid_papers

label: sonnet

community:leiden_hybrid_papers-run1-c0

Denotational & semantic program design

Focus on deriving programs from precise mathematical meanings, including Conal Elliott's denotational design methodology

14 members. Each node is clickable.

Loading graph…

Drawn from 14 sources

The papers/notes whose extracted claims & findings make up this cluster.

Elephant 2000: A Programming Language Based on Speech Acts1 member
Garden of Applications1 member
Denotational design with type class morphisms (extended version)1 member
Denotational Design: from meanings to programs1 member
Genuinely Functional User Interfaces1 member
Ordered Sets and Complete Lattices: A Primer for Computer Science1 member
An association-based model of dynamic behaviour1 member
Technical Dimensions of Programming Systems1 member
2022-08-21_Prabros._ACT2022_slides_4223.pdf_890d161 member
Towards a theory of conceptual design for software1 member
Linda in context1 member
2024 03 07 Stefan Lesser Kay 1984 Opening the Hood of a Word Processor.pdf 4145871 member
Project Oberon: the design of an operating system and compiler1 member
Opening the Hood of a Word Processor1 member

Bridges (4)

Other communities that share members with this one — cross-cutting threads or papers that sit at the seam between two themes.

Denotational & semantic program design14 shared
Compositional Semantics2 shared
Generative Communication1 shared
Programming Systems1 shared

Papers (14)