paper
active
paper:2022-02-10-mikael-brockman-denotational-design-lambdajam-2015-pdf-77a798

2022 02 10 Mikael Brockman denotational design lambdajam 2015.pdf 77a798

/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.md

External IDs

title_hash
d98ed7c107fd6fa58a43eb56474bce022e170c6f
legacy_slug
2022-02-10-mikael-brockman-denotational-design-lambdajam-2015-pdf-77a798
Frontmatter (10 fields)
{
  "date": "2022-02-10",
  "title": "2022 02 10 Mikael Brockman denotational design lambdajam 2015.pdf 77a798",
  "sender": "Mikael Brockman",
  "pdf_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.pdf",
  "source_url": "http://conal.net/talks/denotational-design-lambdajam-2015.pdf",
  "fulltext_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.md",
  "ingest_source": "local-folder",
  "ingest_status": "ok",
  "source_folder": "/Users/antonborzov/Documents/Research.nosync/alexander/papers",
  "telegram_permalink": "https://t.me/nature_of_order_chat/2571"
}

Outgoing (3)

Cites (1)

Implements (1)

Member of (1)

Incoming (0)

None.

References (5)

Mentions (2)

  • alexander
    2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.md
  • alexander
    /Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.md
    Denotational Design from meanings to programs Conal Elliott LambdaJam 2015 Conal Elliott Denotational Design