プログラミング言語の基礎理論
著者
書誌事項
プログラミング言語の基礎理論
共立出版, 2019.8
- : 新装版
- タイトル読み
-
プログラミング ゲンゴ ノ キソ リロン
電子リソースにアクセスする 全1件
-
-
プログラミング言語の基礎理論
2019.8.
-
プログラミング言語の基礎理論
大学図書館所蔵 件 / 全70件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[263]-268
内容説明・目次
目次
- 第1章 プログラミング言語のモデル
- 第2章 型付きラムダ計算
- 第3章 型付きラムダ計算の拡張
- 第4章 型推論システム
- 第5章 多相型言語のモデル
- 第6章 レコード計算系の理論
「BOOKデータベース」 より