WEKO3
アイテム
構成的プログラミング言語Mayaの型理論的意味
https://ipsj.ixsq.nii.ac.jp/records/238897
https://ipsj.ixsq.nii.ac.jp/records/238897fb2f412e-1152-480b-9de8-3f4f2b7ee75a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1992015.pdf (15.8 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-01-08 | |||||||
| タイトル | ||||||||
| タイトル | 構成的プログラミング言語Mayaの型理論的意味 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Type theoretical semantics of the constructive programming language Maya | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 電子技術総合研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Electrotechnical Laboratory | ||||||||
| 著者名 |
木下, 佳樹
× 木下, 佳樹
|
|||||||
| 著者名(英) |
Kinoshita, Yoshiki
× Kinoshita, Yoshiki
|
|||||||
| 書誌情報 |
第33回プログラミング・シンポジウム報告集 巻 1992, p. 145-156, 発行日 1992-01-08 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
