Matsuura Tomoya Research Note

Home

❯

依存型

依存型

2024/02/081 min read

programming-language

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

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

Implementing Dependent Types


グラフビュー

バックリンク

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

Recent writing

  • FRP

    2025/10/13

    • alias
  • ReactiveBalsa

    2025/10/13

    • midiguchi

      2025/10/13

      • programming

    作成 Quartz v4.5.1 © 2025

    • Top
    • Mastodon
    • Twitter
    • GitHub