question
active
question:how-to-start

How to start?

Opening question about the denotational design process.

Source paper

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

Neighborhood — ranked by edge-count

Concepts (1)

concept
  • Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation

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.