Matsuura Tomoya Research Note

検索

SearchSearch
Home

❯

Spineless Tagless G Machine

Spineless Tagless G Machine

2025/01/121 min read

programming-language

The Spineless Tagless G Machine – Tom’s Blog

Haskellの中間表現の1つ(C—の1個手前)。

遅延評価に適した仕組み

表示的意味論と操作的意味論の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解


グラフビュー

バックリンク

  • バックリンクはありません

Recent writing

  • 論文を二言語並行して書く

    2025/05/22

    • writings
  • Arduino Uno R4

    2025/05/22

    • arduino
    • electronics
    • テスト自動化
  • 電子管楽器

    2025/05/22

    • memo
    • music
    • instrument

作成 Quartz v4.3.0 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub