Matsuura Tomoya Research Note

Home

❯

表示的意味論

表示的意味論

2025/01/151 min read

programming-language

The denotational semantics of programming languages | Communications of the ACM


グラフビュー

バックリンク

  • Christopher Strachey
  • Spineless Tagless G Machine

Recent writing

  • コードとデザイン 授業設計の覚書

    2025/09/15

    • writings
  • 文脈様相型理論

    2025/09/09

    • programming
  • DAWのプロジェクトというデータ構造

    2025/09/05

    • memo

作成 Quartz v4.5.1 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub