関数型プログラミングとその応用：関数型言語における型理論

情報処理学会 Web Site

書誌事項

タイトル別名
  • 関数型言語における型理論
  • カンスウガタ ゲンゴ ニ オケル カタリロン
  • Type theory in functional languages

この論文をさがす

収録刊行物

  • 情報処理

    情報処理 29 (8), p845-852, 1988-08-15

    東京 : 情報処理学会 ; 1960-

キーワード

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

問題の指摘

ページトップへ