WEKO3
アイテム
パラメトリック・ポリモルフィズムにおける再帰的型定義
https://ipsj.ixsq.nii.ac.jp/records/30967
https://ipsj.ixsq.nii.ac.jp/records/30967c63f8ae7-e661-493d-a4a9-6e17864675dc
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1989-09-08 | |||||||
タイトル | ||||||||
タイトル | パラメトリック・ポリモルフィズムにおける再帰的型定義 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Recursive Type Definition in Parametric Polymorphism | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
京都大学数理解析研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
RIMS, Kyoto University | ||||||||
著者名 |
長谷川, 立
× 長谷川, 立
|
|||||||
著者名(英) |
Ryu, Hasegawa
× Ryu, Hasegawa
|
|||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10485570 | |||||||
書誌情報 |
情報処理学会研究報告プログラミング(PRO) 巻 1989, 号 71(1989-PRO-030), p. 1-10, 発行日 1989-09-08 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |