プログラミング言語の基礎理論
Author(s)
Bibliographic Information
プログラミング言語の基礎理論
共立出版, 2019.8
- : 新装版
- Title Transcription
-
プログラミング ゲンゴ ノ キソ リロン
Access to Electronic Resource 1 items
-
-
プログラミング言語の基礎理論
2019.8.
-
プログラミング言語の基礎理論
Available at / 70 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[263]-268
Description and Table of Contents
Table of Contents
- 第1章 プログラミング言語のモデル
- 第2章 型付きラムダ計算
- 第3章 型付きラムダ計算の拡張
- 第4章 型推論システム
- 第5章 多相型言語のモデル
- 第6章 レコード計算系の理論
by "BOOK database"