Strict functional language with cyclic recursive data 循環構造を持つ再帰的データのためのストリクトな関数型言語
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Strict functional language with cyclic recursive data
- タイトル別名
-
循環構造を持つ再帰的データのためのストリクトな関数型言語
- 著者名
-
西村, 進
- 著者別名
-
ニシムラ, ススム
- 学位授与大学
-
京都大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
甲第6323号
- 学位授与年月日
-
1996-03-23
注記・抄録
博士論文