framework
pending-review
framework:pair-typePair Type
2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7.mdFrontmatter (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)
- Semantic Denotation(concept)
Incoming (0)
None.
Mentions (1)
- papers-typed
2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a7.md