Matsuura Tomoya Research Note

Home

❯

依存型

依存型

2024/02/081 min read

programming-language

項でインデックス付された型

C++でいうdecltype(term)(だよね?)

Implementing Dependent Types


グラフビュー

バックリンク

  • Coq
  • Erg
  • mimiumの多段階計算
  • 多段階計算

Recent writing

  • mimiumのMIRコンパイル過程を真面目に考える

    2025/09/25

    • mimium
  • 関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム

    2025/09/25

    • paper
  • mimiumでのライブコーディングエンジン

    2025/09/25

    • mimium
    • livecoding

作成 Quartz v4.5.1 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub