Strict functional language with cyclic recursive data 循環構造を持つ再帰的データのためのストリクトな関数型言語

この論文をさがす

著者

    • 西村, 進 ニシムラ, ススム

書誌事項

タイトル

Strict functional language with cyclic recursive data

タイトル別名

循環構造を持つ再帰的データのためのストリクトな関数型言語

著者名

西村, 進

著者別名

ニシムラ, ススム

学位授与大学

京都大学

取得学位

博士 (理学)

学位授与番号

甲第6323号

学位授与年月日

1996-03-23

注記・抄録

博士論文

4アクセス

各種コード

  • NII論文ID(NAID)
    500000131047
  • NII著者ID(NRID)
    • 8000000965744
  • DOI(NDL)
  • NDL書誌ID
    • 000000295361
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ