Strict functional language with cyclic recursive data 循環構造を持つ再帰的データのためのストリクトな関数型言語
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Strict functional language with cyclic recursive data
- Other Title
-
循環構造を持つ再帰的データのためのストリクトな関数型言語
- Author
-
西村, 進
- Author(Another name)
-
ニシムラ, ススム
- University
-
京都大学
- Types of degree
-
博士 (理学)
- Grant ID
-
甲第6323号
- Degree year
-
1996-03-23
Note and Description
博士論文