Strict functional language with cyclic recursive data
Available in National Diet Library
Find on the publisher's website
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 西村進 [著]
- Author Heading
- 西村, 進 ニシムラ, ススム
- Alternative Title
- 循環構造を持つ再帰的データのためのストリクトな関数型言語 ジュンカン コウゾウ オ モツ サイキテキ データ ノ タメ ノ ストリクトナ カンスウガタ ゲンゴ
- Degree grantor/type
- 京都大学
- Date Granted
- 平成8年3月23日
- Date Granted (W3CDTF)
- 1996
- Dissertation Number
- 甲第6323号
- Degree Type
- 博士 (理学)