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

博士論文

5access

Codes

  • NII Article ID (NAID)
    500000131047
  • NII Author ID (NRID)
    • 8000000965744
  • DOI(NDL)
  • NDLBibID
    • 000000295361
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top