関数型言語における型理論

Bibliographic Information

Other Title
  • 関数型プログラミングとその応用:関数型言語における型理論
  • カンスウガタ ゲンゴ ニ オケル カタリロン
  • Type theory in functional languages

Search this article

Journal

  • 情報処理

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

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

Keywords

Details

Report a problem

Back to top