framework
pending-review
framework:pair-type

Pair Type

2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7.md
Frontmatter (12 fields)
{
  "author": null,
  "context": "Indexable container with denotation as Bool → a; example demonstrating derivation of API instances from semantic denotation.",
  "category": "ai",
  "enrichment": {
    "is_stale": true
  },
  "norm_label": "Pair Type",
  "source_url": null,
  "graphify_id": "pair_type",
  "source_file": "2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7.md",
  "imported_from": "/Users/antonborzov/Documents/Research.nosync/papers/extract_typed_out/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7/graph.json",
  "extracted_type": "framework",
  "source_location": "L38-L40",
  "graphify_file_type": "framework"
}

Outgoing (1)

Implements (1)

Incoming (0)

None.

Mentions (1)

  • papers-typed
    2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7.md