プログラミング言語の基礎理論
Author(s)
Bibliographic Information
プログラミング言語の基礎理論
(情報数学講座, 9)
共立出版, 1997.2
- Title Transcription
-
プログラミング ゲンゴ ノ キソ リロン
Available at / 206 libraries
-
Kochi University of Technology.Library
007.1||J66||9000127084,
007.1||J66||9000154849, 007.1||J66||900012708, 007.1||J66||900015484, 108700036153, 151900043258 -
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"