Matsuura Tomoya Research Note

Home

❯

依存型

依存型

2023/08/301 min read

programming-language

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

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

Implementing Dependent Types


グラフビュー

バックリンク

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

Recent writing

  • NY日記-20251022

    2025/10/22

    • diary
  • NY日記-20251021

    2025/10/22

    • diary
  • Bird College Library リサーチメモ20251022

    2025/10/22

    • research

作成 Quartz v4.5.2 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub