プログラミング言語の基礎理論
著者
書誌事項
プログラミング言語の基礎理論
共立出版, 2019.8
- : 新装版
- タイトル読み
-
プログラミング ゲンゴ ノ キソ リロン
大学図書館所蔵 全70件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[263]-268
内容説明・目次
目次
- 第1章 プログラミング言語のモデル
- 第2章 型付きラムダ計算
- 第3章 型付きラムダ計算の拡張
- 第4章 型推論システム
- 第5章 多相型言語のモデル
- 第6章 レコード計算系の理論
「BOOKデータベース」 より