型理論に基づくプログラミング言語設計理論の研究

著者

• 大堀, 淳 オオホリ, アツシ

書誌事項

型理論に基づくプログラミング言語設計理論の研究

大堀淳研究代表

[大堀淳], 1996.4

タイトル別名

平成7年度科学研究費補助金 一般研究(C) 研究成果報告書 06680319

タイトル読み

カタ リロン ニ モトズク プログラミング ゲンゴ セッケイ リロン ノ ケンキュウ

詳細情報

• NII書誌ID(NCID): BN15628549
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [京都]
• ページ数/冊数: 1冊
• 大きさ: 30cm