Dependent types in practical programming

  • Hongwei Xi
    Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology
  • Frank Pfenning
    Department of Computer Science, Carnegie Mellon University

収録刊行物

被引用文献 (20)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ